انجمن منطق ایران هشتمین همایش سالانه‌ی خود را با همکاری دانشگاه تربیت‌مدرّس در روزهای  چهارشنبه و پنج‌شنبه ۲۹-۳۰ بهمن  ۱۳۹۹ برگزار می‌کند.

حوزه‌های پژوهشی مرتبط عبارت‌اند از: 

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را  به آدرس زیر ایمیل کنند:

  این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

مهلت ارسال خلاصه‌ی مقالات: ۱۲ دی ۱۳۹۹.

ثبت‌نام در همایش: از تاریخ ۱ بهمن تا ۱۵ بهمن از طریق این پیوند امکان‌پذیر است.

کمیته‌ علمی:‌ اسفندیار اسلامی، سیّدمحمّد باقری، مسعود پورمهدیان، محمّدصالح زارع‌پور، کاوه لاجوردی، لطف‌اللّٰه نبوی.

کمیته‌ اجرایی:‌ داود حسینی، علی صادق‌دقیقی، مجتبیٰ مجتهدی.

سخنرانان مدعو: محمّد اردشیر، لو بکلمیشف، علی عنایت، ملوین فیتینگ، یوهان ون بنتهم، آلبرت ویسر.

هیئت‌ مدیره‌ی انجمن منطق ایران

بازدید: 167

 انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار می‌کند

نظایر شهودی قضیه لوش-تارسکی

مصطفیٰ زارع

دانشگاه دامغان

 

 چکیده.

در نظریه مدل‌های کلاسیک، قضیه لوش-تارسکی بیان می‌کند که یک نظریه کلاسیک توسط جملات عمومی اصل‌پذیر است اگر و تنها اگر تحت زیرمدل حفظ شود. در این سخنرانی، نظایر شهودی این قضیه را در زمینه مدل‌های کریپکی بررسی می‌کنیم.

منابع.


[1] B. Ellison, J. Fleischmann, D. McGinn, and W. Ruitenburg, Kripke submodels and universal sentences, Mathematical Logic Quarterly 53, 311-320, 2007.
[2] Z. Markovic, Some preservation results for classical and intuitionistic satisfiability in Kripke models, Notre Dame Journal of Formal Logic 24, 395-398, 1983.
[3] M. Moniri and M. Zaare, Preservation theorems for Kripke models, Mathematical Logic Qarterly 55, 177-184, 2009.
[4] A. Visser, Submodels of Kripke models, Archive for Mathematical Logic 40, 277-295, 2001.
[5] M. Zaare, Extensions of Kripke models, Logic Journal of the IGPL 25, 697-699, 2017. 

 

زمان : دوشنبه، ۲۷ مرداد ۱۳۹۹، ساعت ۴ بعد از ظهر

سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:

https://www.skyroom.online/ch/ial/monthly

اسلایدهای سخنرانی:

فایل pdf همین اطّلاعیّه:

بازدید: 197