مقداد قاری، پژوهشگاه دانشهای بنیادی
منطقهای توجیه خانواده جدیدی از منطقهای موجهات میباشند. آرتموف در سال 1995 اولین منطق توجیه را با نام منطق اثباتها معرفی کرد و یک معناشناسی حسابی در حساب پئانو برای آن ارایه داد. سپس فیتینگ در سال 2003 با ارایه معناشناسی جهانهای ممکن نشان داد که میتوان تعبیری معرفتی برای منطق اثباتها ارایه داد. از نظر معرفتی اثباتهای ریاضی دلایلی قطعی برای گزارههای ریاضی هستند. از طرف دیگر در زندگی روزمره بعضی اوقات با دلایل و توجیههای غیر قطعی سروکار داریم. در این سخنرانی یک نسخه فازی از منطقهای توجیه ارایه میشود که میتواند برای صوریسازی استدلالهایی که در آنها از شواهد غیر قطعی استفاده شده است به کار رود. برای روشن شدن این ادعا نسخهای از پارادوکس تسلسل منطقی را مورد بررسی قرار میدهیم، و نشان میدهیم که اگر چه این نسخه از پارادوکس در منطقهای توجیه کلاسیک به تناقض میانجامد، ولی پارادوکس در منطقهای توجیه فازی قابل حل است.
مکان: تهران ، خیابان حافظ، روبروی خیابان سمیه، دانشگاه امیرکبیر،
دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه سوم، اتاق 304
زمان: چهارشنبه، 29 اردیبهشت 1395 ، ساعت 4:30 بعد از ظهر