انجمن منطق ایران برگزار میکند:
شواهد غیر قطعی از منظر منطقهای توجیه فازی
مقداد قاری
پژوهشگاه دانشهای بنیادی
منطقهای توجیه خانواده جدیدی از منطقهای موجهات می‌باشند. آرتموف در سال ۱۹۹۵ اولین منطق توجیه را با نام منطق اثباتها معرفی کرد و یک معناشناسی حسابی در حساب پئانو برای آن ارایه داد. سپس فیتینگ در سال ۲۰۰۳ با ارایه معناشناسی جهانهای ممکن نشان داد که میتوان تعبیری معرفتی برای منطق اثباتها ارایه داد. از نظر معرفتی اثباتهای ریاضی دلایلی قطعی برای گزارههای ریاضی هستند. از طرف دیگر در زندگی روزمره بعضی اوقات با دلایل و توجیههای غیر قطعی سروکار داریم. در این سخنرانی یک نسخه فازی از منطقهای توجیه ارایه میشود که میتواند برای صوریسازی استدلال‌هایی که در آنها از شواهد غیر قطعی استفاده شده است به کار رود. برای روشن شدن این ادعا نسخهای از پارادوکس تسلسل منطقی را مورد بررسی قرار میدهیم، و نشان میدهیم که اگر چه این نسخه از پارادوکس در منطقهای توجیه کلاسیک به تناقض میانجامد، ولی پارادوکس در منطقهای توجیه فازی قابل حل است.
مکان: تهران،خیابان حافظ، روبروی خیابان سمیه،دانشگاه امیرکبیر،
دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه سوم، اتاق ۳۰۴
زمان: چهارشنبه،۲۹ اردیبهشت ۱۳۹۵،ساعت ۴:۳۰بعدازظهر
www.irlogic.org
دیدگاهتان را بنویسید