منطق تکلیف دو موضعی و تعارض تکالیف
Publish Year: 1399
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 320
نسخه کامل این Paper ارائه نشده است و در دسترس نمی باشد
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
IISC01_031
تاریخ نمایه سازی: 22 آذر 1400
Abstract:
پس از بروز پارادوکس تعارض تکالیف در منطق های استاندارد تکلیف (SDL)،منطق دانان درصدد برآمدند تا با پایه ریزی منطق تکلیف شرطی قدمی اساسی درحل پارادوکس ها بردارند. نظام شرطی منطق تکلیف، نظامی است که در آن به شرایطو اوضاعی که لزوم، جواز و یا منع یک عمل و یک فعل مطرح م یگردد، نیز توجهمی شود. در این مقاله پس از معرفی ساختار نحوی و معنایی نظام تکلیف شرطی برپایه SDL بنابر قرائت هرتی از آن، توانایی چنین نظامی در تحمل تعارض تکالیفمورد ارزیابی قرار گرفته است.
Authors
محمدعلی یوسفی پور
ارشد منطق فلسفی دانشگاه تربیت مدرس تهران، طلبه ی سطح چهار حوزه علمیه قم