انجمن منطق ایران برگزار میکند
تعارض تکالیف در منطق تکلیف
فاطمه‌سادات نبوی
دانشگاه قم
مکان: تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام
زمان: چهارشنبه،28 تیر 1396،ساعت 4بعدازظهر
برای دریافت فایل آگهی از لینک زیر استفاده کنید
آخرین مطالب
همايشها
سخنرانیها
-
سخنرانی ماهيانه: 30 بهمن 1402
Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))...
-
سخنرانی ماهيانه: 11 دی 1402
تأثیرات پیشرفت‌های متأخر در نظریه‌ی مجموعه‌ها بر فلسفه‌ی...
-
سخنرانی ماهيانه: 29 آبان 1402
The Craig Interpolation Property in First-order Gödel Logic...
-
سخنرانی ماهيانه: 24 مهر 1402
(این سخنرانی به دلیل کسالت لغو گردید و به زمان دیگری موکول شد. زمان...
-
سخنرانی ماهيانه: 19 مهر 1402
پارادوکس دروغگو در منطق نمادین سیاوش احمدزاده چکیده: با وجود...