نام پژوهشگر: عامر آمیخته

الگویی برای منطق خواست بر مبنای منطق های نیمه کلاسیک
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی 1392
  عامر آمیخته   لطف الله نبوی

در پی توسعه ی منطق جدید، «منطق کلاسیک» در مقوله هایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقوله ی «خواست»، الگو از «منطق های نیمه کلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزه های «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیک های ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطق های خواست» پرداختیم. به علاوه سیستم هایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظام هایی را پیشنهاد دادیم. در میان منطق ها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کرده ایم. در بیان ساختار معنایی «منطق های خواست نرمال» نیز از ایده ی «جهان های ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره برده ایم.