سخنرانی دکتر فاطمه سادات نبوی با عنوان: تعارض تکالیف در منطق تکلیف
انجمن منطق ایران برگزار میکند
تعارض تکالیف در منطق تکلیف
دکتر فاطمه‌سادات نبوی
دانشگاه قم
به این مثال توجه کنید: «شخصی با دوست خود قرار ملاقات دارد،اما در معرض تصادفی قرار می گیرد، که کمک به قربانیان آن وظیفه مسلم اوست.» او چه باید بکند؟ به قرار خود برسد یا به قربانیان تصادف کمک کند؟ قرار گرفتن در وضعیت تعارض تکالیف ،مانند مثال بالا، در تمامی عرصه های تکلیفی( اخلاق، فقه، حقوق و ...) کاملا طبیعی به نظر می رسد. اما هر منطقی که یکی از دو اصل : و در آن حاکم باشد، با ظهور یک تعارض تکلیفی منجر به گزاره نامطلوب می شود. هم چنین هر منطقی که دواصل زیر در آن صادق باشد ، نیز، به همین ترتیب به تناقض منجر می شود: و (جملۀ یعنی A الزامی است و یعنی A امکان پذیر است و یعنی A ضروری است). از طرفی چهار اصل بالا، برای یک سیستم تکلیفی بسیار معقول و منطقی به نظر می رسند و از طرف دیگر برای ایجاد منطقی با قابلیت تحمل تکالیف باید از برخی از آن ها صرف نظر کرد.
با این وصف، سوالی که در ابتدا به ذهن میرسد این است که آیا این تعارضات واقعی هستند؟ و آیا نمی توان با متعدد کردن عملگرهای تکلیف و یا مبنا قرار دادن الزامات پس از در نظر گرفتن تمام شرایط به جای الزامات در وهله اول، از بروز آن ها اجتناب کرد؟ هم چنین در صورت اجتناب‌ناپذیر بودن این تعارضات، برای ساخت منطقی با قابلیت تحمل تکالیف متعارض، چه باید کرد؟ و چنین منطقی چه خصوصیاتی باید داشته باشد؟
مکان: تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام
زمان: چهارشنبه،28 تیر 1396،ساعت 4بعدازظهر
برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:
www.irlogic.org
