منطق در ايران

سه شنبه 1 دی 1394

9-8

ثبت نامه

9:30-9

افتتاحیه

ریاست جلسات صبح:

دکتر محمد اردشیر

9:30-10:30

سخنران مدعو

کاوه لاجوردی
 ویتگنشتاین و قضیه‌ی اولِ ناتمامیت

10:30-11

پذیرایی

11-11:30

ارائه مقاله

علی صادق دقیقی
جایگاه خاصیت درخت تعریف پذیر در رده بندی کاردینال های بزرگ

11:30-12

ارائه مقاله

هاشم مروارید
تحلیل و نقد منطق پیشنهادیِ کیت فاین برای گفتمان ذاتی

12-14

ناهار و نماز

ریاست جلسات بعدازظهر:

دکتر مسعود پورمهدیان

14-15

سخنران مدعو

سعيد صالحي پورمهر
منطق و محاسبه: نگاهی ساختارگرایانه بر برهانهای قضیه ناتمامیت گودل

15-15:30

پذیرایی

15:30-16

ارائه مقاله

احمد کریمی
یک پارادکس غیر خود ارجاعی در نظریه بازی شناختی

16-16:30

ارائه مقاله

علی بیباک
ONNILLI، مطالعه ای در منطق شهودگرایی گزاره ای

چهارشنبه 2 دی 1394

ریاست جلسات صبح:

دکتر مجید علی­زاده

9:30-10:30

سخنران مدعو

بهرام اسدیان
ساختارهای انتزاعی در رياضيات

10:30-11

پذیرایی

11-11:30

ارائه مقاله

سید مجتبی مجتهدی
تحویل منطق اثبات پذیری به منطق 1∑_اثبات پذیری

11:30-12

ارائه مقاله

ناربه آبولیان
درون یابی یکنواخت برای منطق GD - اثبات نحوی

12-14

ناهار و نماز

ریاست جلسات بعدازظهر:

دکتر ضیا موحد

14-14:30

ارائه مقاله

ساجد طیبی
تماماً ارجاعي: در دفاع از اهميت معناشناسيك تمايز دانلان

14:30-15

جلسه هم اندیشی اساتید  و پژوهشگران

15-15:30

پذیرایی

15:30-16:30

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