نوع مقاله : پژوهشی

نویسنده

• فاطمه سادات نبوی

عضو هیات علمی گروه ریاضی دانشگاه قم

چکیده

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

کلیدواژه‌ها

• منطق تکلیف
• منطق غیریکنوا
• مدل‌کریپکی
• منطق شرطی
• ساختار رجحانی

موضوعات

• منطق فلسفی

عنوان مقاله [English]

Preference Models in Nonmonotonic and Deontic Logics

چکیده [English]

Different kinds of nonstandard conditionals of modal nature, are studied in conditional logic or Dyadic Modal Logic. Preference structures are one of the important categories of semantic models for these logics. Deontic conditionals and nonmonotonic conditionals are two kinds of these nonstandard conditionals, such that these models have been introduced as one of their main semantics.
In this paper we have a brief review of the literature of preference models in these two branches. Then we compare the subjects studied under the topic of preference models in both fields and have an analysis about the meaning and the acceptance of the axioms of conditional logics, when the conditionals either read as deontic conditionals or as nonmonotonic ones.
In addition, we present some examples to show that in the both fields, preference models have shortcomings in expressing the correct and intuitive reasoning. We offer some extended semantics from nonmonotonic literature to overcome these shortcomings.

کلیدواژه‌ها [English]

• Deontic Logic
• Nonmonotonic Logic
• Krepke Models
• Conditional Logic
• Preference Structures