منطق تکلیف دو موضعی و تعارض تکالیف
- سال انتشار: 1399
- محل انتشار: نخستین همایش ملی هوش مصنوعی و علوم اسلامی
- کد COI اختصاصی: IISC01_031
- زبان مقاله: فارسی
- تعداد مشاهده: 484
نویسندگان
ارشد منطق فلسفی دانشگاه تربیت مدرس تهران، طلبه ی سطح چهار حوزه علمیه قم
چکیده
پس از بروز پارادوکس تعارض تکالیف در منطق های استاندارد تکلیف (SDL)،منطق دانان درصدد برآمدند تا با پایه ریزی منطق تکلیف شرطی قدمی اساسی درحل پارادوکس ها بردارند. نظام شرطی منطق تکلیف، نظامی است که در آن به شرایطو اوضاعی که لزوم، جواز و یا منع یک عمل و یک فعل مطرح م یگردد، نیز توجهمی شود. در این مقاله پس از معرفی ساختار نحوی و معنایی نظام تکلیف شرطی برپایه SDL بنابر قرائت هرتی از آن، توانایی چنین نظامی در تحمل تعارض تکالیفمورد ارزیابی قرار گرفته است.کلیدواژه ها
مقالات مرتبط جدید
- تفاوت رویکرد اسلام و نظریه پردازان پست مدرن به مفهوم حقیقت دینی
- نظام انسان شناسی در اندیشه آیت الله مصباح یزدی (ره)
- تحلیل تطبیقی تصرف عدوانی و خلع ید در چارچوب آیین دادرسی ایران
- پژوهشی تدبری در کاربرد اسم جلاله«الله » در قرآن کریم با رویکردی درونقرآنی
- زیست مادرانگی در کشاکش نقشهای چندگانه: بازخوانی نقش مادر شاغل در پرتو آموزههای رضوی و روانشناسی معاصر
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.