صورت‌بندی موجهاتی از منفصلات عنادی منطق طوسی
Article data in English (انگلیسی)
سیداحمد فقیه*
چکیده
بیان شرطیات منطق قدیم با زبان نمادین منطق جدید، یکی از دغدغه های مهم منطق دانان امروزی است. در این میان، سهم مباحث تطبیقی قضایای منفصله ناچیز است.
تحلیل گزاره های شرطی براساس مبانی فکری طوسی، در منظومه علوم معرفتی بشر، دستاوردهای چشمگیری به دنبال دارد. نگارنده پیش از این در مقاله «تحلیل قضایای منفصله منطق خواجه نصیرالدین طوسی»، نظام فکری حاکم بر منفصلات طوسی را بررسی کرده است. پژوهش پیش رو، ناظر به مقاله یادشده، منفصلات مسوره عنادی را به زبان منطق جدید بازنمایی و صورت بندی می کند؛ صورت بندی ای که مبتنی بر سور مرتبه دوم و منطق های غیرکلاسیکی مانند منطق ربط نبوده و تنها برپایه نظام موجهاتی KT استوار است.
برخی از مهم ترین یافته های این مقاله عبارت اند از: نقد دیدگاه های برخی معاصران در یکسان پنداری «یا»ی منطق گزاره ها با «یا»ی مانعهًْ الخلو و نیز «یا»ی غیرشامل[1] با «یا»ی حقیقی، افزودن «امکان خاص طرفین» به موجبه های عنادی، صورت بندی های متفاوت از موجبه های کلی و جزئی برای مانع جمع عنادی (و نیز مانع خلو عنادی)، تفکیک صورت بندی های عنادی بسیط و مرکب.
کلیدواژه ها
تابع ارزش، سور منفصله، مانعهًْ الجمع، مانعهًْ الخلو، منفصله حقیقی، منفصله عنادی، «یا»ی غیرشامل، «یا»ی منطق گزاره ها.
*. مدرس منطق حوزه علمیه قم seyyed.ahmad.faghih@gmail.com
تاریخ دریافت: 17/04/1398، تاریخ پذیرش: 13/08/1398
1. exclusive or
