۱۳۹۶ اسفند ۲۳, چهارشنبه

کونورسیون


پروفسور دکتر  هانس شولتسه
برگردان
شین میم شین
   
۱
·      کونورسیون، کلمه ای لاتینی است و به معنی تعویض شکل است.

۲
·      کونورسیون در منطق سنتی به معنی تعویض شکل حکمی به حکم دیگر است، که در آن مفهوم سوبژکت و مفهوم مسند در حکم آغازین تعویض می شوند.

۳
·      اگر علاوه بر این، هر دو مفهوم یادشده نفی شوند، آنگاه ما با «کونترا پوزیسیون» سر و کار خواهیم داشت.

۴
·      نتایج نهائی مبتنی بر کو نورسیون جزو نتایج نهائی بیواسطه اند.

۵
مثال

·      از حکم «همه چنارها درخت اند» نتیجه گرفته می شود که «درختانی هم وجود دارند که چنار نیستند!»

۶
·      در «منطق مناسبت» وارونگی یک رابطه را کونورسیون می نامند.

۷
·      میان یک مناسبت و کونورس آن رابطه زیر برقرار است:
·      این بدان معنی است که اگر در مناسبت
·       
R(x, y)

·      ایکس پدر ایگرگ باشد، پس در مناسبت
·       
R’(y, x)

·      ایگرگ فرزند ایکس است.

پایان

هیچ نظری موجود نیست:

ارسال یک نظر