سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۵ شهریور ۱۳۹۸ ساعت ۱۶
عنوان: ساده آری، پیچیده خیر
سخنران:احمد شفیعی ده‌آباد (دانشگاه تهران)
محل برگزاری: تهران، خیابان ولیعصر، خیابان نوفل‌لوشاتو، مؤسّسه‌ی پژوهشی حکمت و فلسفه
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/125-2019-08-27-13-32-17
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۹ مهر ۱۳۹۸ ساعت ۱۶
عنوان: وامداری سهروردی به ابن‌سینا در نظریه‌ی قیاس
سخنران: مهدی عظیمی (دانشگاه تهران)
محل برگزاری: تهران، خیابان ولیعصر، خیابان نوفل‌لوشاتو، مؤسّسه‌ی پژوهشی حکمت و فلسفه
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/134-2019-08-27-13-32-18
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۷ آبان ۱۳۹۸ ساعت ۱۶
عنوان: درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)
سخنرانان: سعید صالحی پورمهر (دانشگاه تبریز و IPM)، کاوه لاجوردی
محل برگزاری: تهران، خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/135-salehi-lajevardi
کانال تلگرام انجمن منطق ایران:
@IranLogic

انجمن منطق ایران هفتمین همایش سالانه‌‌ی خود را با همکاری پژوهشگاه دانش‌های بنیادی در ۱۸-۱۷ دِی‌‌ ۱۳۹۸ در دانشگاه خواجه نصیرالدّین طوسی برگزار می کند.

کمیته‌ علمی:‌ محمّد اردشیر، مقداد قاری، محمّد گلشنی، کاوه لاجوردی، ضیاء موحّد.

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

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

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

LC98@ialogic.ir

تمدید مهلت ارسال خلاصه مقالات تا ۱۵ام آذر ۱۳۹۸.

هیأت‌‌مدیره‌ی انجمن منطق ایران
https://ialogic.ir

@IranLogic

هفتمین همایش سالانه‌ی انجمن منطق ایران در روزهای سه‌شنبه و چهارشنبه ۱۷ و ۱۸ دی ماه سال ۱۳۹۸ در دانشگاه خواجه نصیرالدین طوسی برگزار می‌شود. از همه‌ی علاقه­‌مندان دعوت می­‌شود جهت ثبت‌نام در همایش حداکثر تا تاریخ ۱۰ دی‌ماه از طریق وب‌سایتِ هفتمین همایش سالانه‌ی انجمن منطق به آدرسِ https://LC98Reg.ialogic.ir اقدام فرمایند.

وب‌سایت رسمیِ انجمن منطق ایران:‌ https://ialogic.ir/
کانال تلگرام انجمن منطق ایران: @IranLogic

مهلت ثبت‌نام تا اطّلاع ثانوی تمدید شد.

در برنامه‌ی زمان‌بندیِ سمینارهای همایش هفتم، تغییراتی ایجاد شده. نسخه‌ی نهاییِ برنامه‌ها را این‌جا ببینید.

دومین بزرگ‌داشت روز جهانی منطق (سال ۱۳۹۸) سه شنبه ۲۴ دی ۱۳۹۸ ساعت ۱۴-۱۸ در دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهار، سالن میرحسنی، با سخنرانی‌های زیر برگزار می‌شود:


لطف الله نبوی (دانشگاه تربیت مدرس)، گودل و قرائت برگی از دفتر وی
سید محمد باقری (دانشگاه تربیت مدرس)، Compactness for infinitary propositional logics.
محمد گلشنی (پژوهشگاه دانش‌های بنیادی)، Godel's constructible universe and its extensios.
امیرحسین اکبرطباطبایی (دانشگاه اوترخت)، Intuitionistic implications: on the logics of spacetime.
ورود برای عموم آزاد است.

نخستین بزرگ‌داشتِ روزِ جهانیِ منطق، در دانشکده‌ی ریاضیِ دانشگاه صنعتیِ امیرکبیر برگزار شد: http://logic.aut.ac.ir

وب‌سایت رسمیِ انجمن منطق ایران:‌ https://ialogic.ir/
کانال تلگرام انجمن منطق ایران: @IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۸ بهمن ۱۳۹۸ ساعت ۱۶
عنوان: در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی
سخنران: مجید علیزاده (دانشگاه تهران)
محل برگزاری: تهران، خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/162-alizadeh-j-operator
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲ تیر ۱۳۹۹ ساعت ۱۶
عنوان: درستی جملات گودلی و راسری
سخنران: سعید صالحی پورمهر (دانشگاه تبریز)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://vclass.ecourse.sharif.edu/ch/mardeshir
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/163-salehi-godelean
کانال تلگرام انجمن منطق ایران:
@IranLogic

انجمن منطق ایران هشتمین همایش سالانه‌ی خود را برگزار می‌کند.
👈 ارسال مقالات تا تاریخ ۱۲ دی ۱۳۹۹ و از طریق ارسال ای‌میل به نشانیِ LC99@ialogic.ir
👈 ثبت‌نام از طریق وب‌سایت همایش از تاریخ ۱ بهمن تا ۱۵ بهمن ۱۳۹۹
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۶ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: چیست آنچه ما آن را «اثبات ریاضیاتی» می‌نامیم؟
سخنران: حسین بیات
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/alireza.darabi/ialogic
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/171-bayat
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۷ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: نظایر شهودی قضیه‌ لوش-تارسکی
سخنران: مصطفیٰ زارع (دانشگاه دامغان)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/173-zare-fa
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۶ آبان ۱۳۹۹ ساعت ۱۶
عنوان: بنیان‌های زیستی منطق
سخنران: حامد باستین (دانشگاه تربیت‌مدرس)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/174-bastin
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۴ آذر ۱۳۹۹ ساعت ۱۶
عنوان: تاثیر مبانی معرفت‌شناختی و هستی‌شناختی سهروردی در نقد نظریه تعریف مشائیان
سخنران: رضا اکبری (دانشگاه امام صادق)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و به میزبانی انجمن علمی فلسفه دانشگاه تربیت مدرس برگزار می‌شود. برای ورود به گذرواژه نیازی نیست و فقط کافی است نام خود را وارد کنید.
https://lablive.modares.ac.ir/b/dav-vi7-eyf
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/175-akbari
کانال تلگرام انجمن منطق ایران:
@IranLogic

با توجه به شرایط خاص پیش آمده از همه‌گیری کرونا، مهلت ارسال مقالات تا پایان دی‌ماه تمدید شد.

انجمن منطق ایران برگزار می‌کند.
سومین بزرگ‌داشت روز جهانی منطق (سال۱۳۹۹) پنج‌شنبه ۲۵ دی ۱۳۹۹ ساعت ۱۰-۱۶ و به میزبانیِ مَجازیِ دانشگاه امیرکبیر، برگزار می‌شود.

پیوند ورود به همایش مَجازی:
http://meetings2.aut.ac.ir/logicday/
کانال تلگرام انجمن منطق:
@IranLogic

👈 پیوند شرکت در همایش: (بدون نیاز به نام کاربری و کلمه‌ی عبور. تنها با وارد کردن نام خود می‌توانید در زمان برگزاری همایش، وارد شوید)
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
👈 شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است.
👈 برنامه‌ی زمانی همایش:
https://ialogic.ir/index.php/colloquium/43-8th/165-program
👈 خلاصه‌ی مقالات پذیرفته شده جهت ارائه در همایش:
https://ialogic.ir/index.php/colloquium/43-8th/166-2021-02-01-06-28-57


کانال تلگرام انجمن منطق: @IranLogic