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