كليدواژه :
تابع ارزش , , سور منفصله , , مانعة الجمع , , مانعة‌الخلو , , منفصله حقيقي , , منفصله عنادي , , «يا»ي غيرشامل , , «يا»ي , منطق‌گزاره‌ها.
چكيده فارسي :
بيان شرطيات منطق قديم با زبان نمادين منطق جديد، يكي از دغدغه‌هاي مهم منطق‌دانان امروزي است. در اين ميان، سهم مباحث تطبيقي قضاياي منفصله ناچيز است. تحليل گزاره‌هاي شرطي براساس مباني فكري طوسي، در منظومه علوم معرفتي بشر، دستاوردهاي چشمگيري به دنبال دارد. نگارنده پيش از اين در مقاله «تحليل قضاياي منفصله منطق خواجه نصيرالدين طوسي»، نظام فكري حاكم بر منفصلات طوسي را بررسي كرده است. پژوهش پيش‌رو، ناظر به مقاله يادشده، منفصلات مسوره عنادي را به زبان منطق جديد بازنمايي و صورت‌بندي مي‌كند؛ صورت‌بندي‌اي كه مبتني بر سور مرتبه دوم و منطق‌هاي غيركلاسيكي مانند منطق ربط نبوده و تنها برپايه نظام موجهاتي KT استوار است. برخي از مهم‌ترين يافته‌هاي اين مقاله عبارت‌اند از: نقد ديدگاه‌هاي برخي معاصران در يكسان‌پنداري «يا»ي منطق گزاره‌ها با «يا»ي مانعة‌الخلو و نيز «يا»ي غيرشامل با «يا»ي حقيقي، افزودن «امكان خاص طرفين» به موجبه‌هاي عنادي، صورت‌بندي‌هاي متفاوت از موجبه‌هاي كلي و جزئي براي مانع جمع عنادي (و نيز مانع خلو عنادي)، تفكيك صورت‌بندي‌هاي عنادي بسيط و مركب.
