فراخوان مقاله پنجمین سمینار سالانه انجمن منطق ایران

انجمن منطق ایران پنجمین سمینار سالانه خود را با همکاری پژوهشگاه دانش‌های بنیادی و دانشگاه صنعتی امیرکبیر در روزهای سه‌شنبه تا پنج‌شنبه 21 تا 23 آذر ماه 1396 در دانشگاه صنعتی امیرکبیر برگزار می‌کند. ... بیشتر بخوانید ...

نویسنده : انجمن منطق - 1395/04/30

در منطق ریاضی، «پارادوکس‌های استلزام مادی» به قضیه‌ها و استنتاج‌هایی در این منطق گفته می‌شود که میان مقدم و تالی، یا میان مقدمات و نتیجۀ آنها ارتباطی وجود ندارد، برای نمونه، استنتاج هر گزاره از تناقض.

منطق ربط

منطق ارتباط میان مقدمات و نتیجه

 

اسدالله فلاحی

مؤسسۀ پژوهشی حکمت و فلسفۀ ایران

پژوهشگاه دانشهای بنیادی

در منطق ریاضی، «پارادوکس‌های استلزام مادی» به قضیه‌ها و استنتاج‌هایی در این منطق گفته می‌شود که میان مقدم و تالی، یا میان مقدمات و نتیجۀ آنها ارتباطی وجود ندارد، برای نمونه، استنتاج هر گزاره از تناقض. پس از آن که تلاش‌های وجهی، و به ویژه، منطق «استلزام اکید» سی. آی. لویس در نیمۀ نخست سدۀ بیستم از پس کنار زدن همۀ این پارادوکس‌ها برنیامد، منطق ربط در پاسخ به این نیاز طراحی شد تا از استنتاج‌های نامربوط جلوگیری کند. این منطق از چشم‌اندازهای مختلفِ منطق فلسفی و منطق ریاضی، به ویژه از دیدگاه منطق وجهی، مورد پژوهش قرار گرفته است. در این سخنرانی، بخش عمده‌ای از این پژوهش‌ها معرفی و برخی از مسائل باز در این زمینه مورد گفتگو قرار می‌گیرد.

مکان:  تهران،خیابان حافظ، روبروی خیابان سمیه،دانشگاه امیرکبیر،

دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه سوم، اتاق 304

 

زمان: چهارشنبه،30 تیر 1395،ساعت 5بعدازظهر

نظرات کاربران
   
   
   
مطالب مرتبط

© Company 2013