اساس‌نامه‌ی انجمن منطق ایران:
https://ialogic.ir/images/statute-2.pdf

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۶ فروردین ۱۳۹۸ ساعت ۱۶
عنوان: Truth, Proof and Provability
سخنران: محمّد اردشیر (دانشگاه صنعتی شریف)
محل برگزاری: مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/114-truth-proof-and-provability
کانال تلگرام انجمن منطق ایران:
@IranLogic

انجمن منطق ایران در نظر دارد لوگوی جدیدی برای خود برگزیند. از تمامی علاقه‌مندان دعوت می‌شود طرح‌هایشان را تا پانزدهم شهریور ۱۳۹۸ به نشانی [email protected] بفرستند.

انتظار هیأت مدیره‌ی انجمن این است که لوگوی جدید عرفاً ساده تلقی شود، و عنصرهای بسیار شناخته‌شده‌—نظیر بخش‌هایی از نقاشی‌های اشر—در آن نباشد. لازم است که عبارت ’انجمن منطق ایران‘، به اضافه‌ی نامِ کامل یا نامِ کوتاه‌شده‌ی انگلیسی انجمن (یعنی ’Iranian Association for Logic‘ یا ’IAL‘)، در طرح گنجانده شده باشد.

انجمن منطق ایران در وضعیت فعلی توانایی مالی برای اعطای جایزه‌ی مادّی یا خرید طرح را ندارد. طراح لوگوی برگزیده،‌ به مدّت پنج سال عضو افتخاری انجمن خواهد بود و می‌تواند به‌رایگان در همایش‌های سالانه‌ی انجمن شرکت کند. به علاوه، طرح برگزیده در جلسه‌ی افتتاحیه‌ی هفتمین همایش سالانه‌ی انجمن (زمستان ۱۳۹۸) و با توضیحاتِ طراح رونمایی خواهد شد، و نامِ طراح همواره در وبگاه رسمی انجمن منطق ایران خواهد آمد.

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

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۴ تیر ۱۳۹۸ ساعت ۱۶
عنوان: Friedman's Theorem: from standard systems to fixed points
سخنران: سعیده بهرامی (پژوهشگاه دانش‌های بنیادی IPM)
محل برگزاری: خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/80-friedman-s-theorem-from-standard-systems-to-fixed-points
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۸ مرداد ۱۳۹۸ ساعت ۱۶
عنوان: منطق (وجهی) احتمال
سخنران: ریحانه ذوقی‌فرد (پژوهشگاه دانش‌های بنیادی IPM)
محل برگزاری: تهران، دانشگاه صنعتی امیرکبیر، دانشکده‌ی ریاضی، اتاق ۳۱۱
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/119-probability-logic
کانال تلگرام انجمن منطق ایران:
@IranLogic

همایش منطق ریاضی و کاربردهای آن

دانشگاه صنعتی اراک با همکاری پژوهشگاه دانشهای بنیادی (IPM) و انجمن منطق ایران، همایش «منطق ریاضی و کاربردهای آن» را در تاریخ ۱۳ شهریور ۱۳۹۸ در دانشگاه صنعتی اراک برگزار می‌کند.

سخنرانان:
سید محمد باقری (دانشگاه تربیت مدرس) - محسن خانی (دانشگاه صنعتی اصفهان)- سعید صالحی پورمهر (دانشگاه تبریز)- مقداد قاری (دانشگاه اصفهان)- مجتبی مجتهدی (دانشگاه تهران)- مرتضی منیری (دانشگاه شهید بهشتی)

اطّلاعات بیشتر در وب‌سایت همایش:
http://logic.arakut.ac.ir/
@IranLogic

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

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

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

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

[email protected]

پایان مهلت ارسال مقالات ۳۰ام آبان ۱۳۹۸ است.

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

@IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۵ شهریور ۱۳۹۸ ساعت ۱۶
عنوان: ساده آری، پیچیده خیر
سخنران:احمد شفیعی ده‌آباد (دانشگاه تهران)
محل برگزاری: تهران، خیابان ولیعصر، خیابان نوفل‌لوشاتو، مؤسّسه‌ی پژوهشی حکمت و فلسفه
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
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

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

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

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

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

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

[email protected]

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

هیأت‌‌مدیره‌ی انجمن منطق ایران
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