نتايج نهايی انتخابات ششمين دوره هيات مديره و بازرسان انجمن منطق ايران به شرح زير اعلام می‌شود:

هیات مدیره:
1- حامد باستین (مستقل) - 55 رای
2- احمد میرصانعی (تربیت مدرس) - 54 رای
3- نازنین روشندل توانا (امیرکبیر) - 49 رای
3- هومن محمد قربانیان (دانشگاه اصفهان) - 49 رای
5- محمد ایزدی (صنعتی شریف) - 46 رای
6- مرتضی منیری (شهید بهشتی) - 35 رای
7- فرزاد دیده‌ور (امیرکبیر) - 24 رای
8- علی ولی‌زاده (دانشگاه اصفهان) - 12 رای
8- افشین زارعی (ipm اصفهان) - 12 رای
10- امیر خمسه (دانشگاه خوارزمی) - 9 رای

بازرس:
1- فرشته رنجبری - 39 رای
2- علی هدایی - 17 رای
3- سحر رنجبر - 3 رای

با توجه به انصراف آقای دکتر مرتضی منيری از عضويت علی‌البدل در هيات مديره و کناره‌گيری آقای دکتر افشين زارعی به نفع آقای دکتر علی ولی‌زاده (با توجه به آرای برابر)، ترکيب اعضای منتخب هيات مديره ششم به شرح زير اعلام می‌شود:

اعضای اصلی هيات مديره
- حامد باستين
- سید احمد میرصانعی
- نازنين روشندل توانا
- هومن محمدقربانيان
- محمد ايزدی
اعضای علی‌البدل هيات مديره
- فرزاد ديده‌ور
- علی ولی‌زاده

بازرس اصلی
- فرشته رنجبری
بازرس علی‌البدل
-علی هدايی

یادآوری سخنرانی امروز:

ساعت 16 الی 18

عنوان:
A computable version of Fraïssé limit for metric structures


سخنران: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

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

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب خیابان حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

برنامه سخنرانی‌های دو ماه اول ۱۴۰۴ - انجمن منطق ایران

دوشنبه، ۲۵ فروردين
- جاويد جعفری (دانشگاه تربيت مدرس)
يک منطق فراسازگار در زبان موجهاتی (Smin)

دوشنبه، ۲۹ اردیبهشت
- مجتبی آقايی (دانشگاه صنعتی اصفهان)
عنوان اعلام خواهد شد.

يادآوری ارسال مقاله برای شرکت در جایزه منطق ابن سینا ۱۴۰۴
- برگزيده جایزه ابن سينا ۱۴۰۴ نماينده ايران در جایزه سال منطق (دسامبر ۲۰۲۵ در پرو) خواهد بود.
- مقاله برگزيده ايران در ويژه‌نامه دسامبر ۲۰۲۵ مجله Logica Universalis منتشر می‌شود.

آخرين مهلت ارسال مقاله (کامل انگليسی): ۳۱ فروردين ۱۴۰۴

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

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

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

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic

با تصمیم اعضای ششمین دوره هیات مدیره انجمن منطق ایران، اعضای زیر برای سمت‌های مختلف هیات مدیره انتخاب شدند:
دکتر حامد باستین؛ رئیس هیات مدیره
دکتر هومن محمدقربانیان؛ نایب‌رئیس هیات مدیره
دکتر نازنین روشندل توانا؛ خزانه‌دار انجمن
سید احمد میرصانعی؛ دبیر انجمن

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

جلسه سخنرانی در حال برگزاری است ...

❇️مدرسه بهاره پیرامون صدق
مدرسه بهاره پیرامون صدق، به همت گروه منطق موسسه پژوهشی حکمت و فلسفه ایران و انجمن منطق ایران، در روزهای پنج‌شنبه و جمعه، ۱۱ و ۱۲ اردیبهشت ماه ۱۴۰۴ برگزار می‌شود. این مدرسه به منظور بررسی و تحلیل ابعاد مختلف صدق، در محل موسسه پژوهشی حکمت و فلسفه ایران، میزبان جمعی از سخنرانان معتبر و نام‌آور خواهد بود.

📎اطلاعات بیشتر و ثبت نام:

https://www.irip.ac.ir/u/15H

تمدید زمان ارسال مقاله برای شرکت در جایزه سال منطق ۱۴۰۴ (جایزه ابن‌سینا)
- توجه به این نکته ضروری است که جایزه منطق سال انجمن منطق ایران مزین به نام «ابن‌سینا» است و این جایزه لزوما در مورد منطق ابن‌سینا نیست و همه شاخه‌هایی منطق را شامل می‌شود.
- برگزيده جایزه سال منطق ۱۴۰۴ نماينده ايران در جایزه سال منطق (دسامبر ۲۰۲۵ در پرو) خواهد بود.
- مقاله برگزيده ايران در ويژه‌نامه دسامبر ۲۰۲۵ مجله Logica Universalis منتشر می‌شود.
- همه پژوهشگران داخل ایران (افیلیشن فعلی شرکت‌کنندگان باید حتما داخل ایران باشد)، می‌توانند مقالات خود در همه حوزه‌های مختلف منطق را برای شرکت در این جایزه ارسال کنند.

آخرين مهلت ارسال مقاله (کامل انگليسی): ۳۱ اردیبهشت ۱۴۰۴

Logica Universalis Webinars + Springer Nature
Title: On the Mathematical Modeling in Logic. An Analysis of the Structural Part of Object Determination Logic through the Formal Concept Analysis
Speaker: Anca Pascu
Time: Wednesday, Ordibehesht 10, 5:30 PM (Iran Local Time)
Permalink

فرم ثبت نام شرکت در سمینار دو روزه منطق ریاضی فعال شده است. جهت ثبت نام به آدرس ذیل مراجعه نمایید:
https://math.ipm.ac.ir

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 29 اردیبهشت 1404، ساعت 16 الی 18

عنوان: گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)

سخنران: مجتبی آقایی (دانشگاه صنعتی اصفهان)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه فلسفه دانشگاه اصفهان برگزار خواهد شد.

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان، دانشکده‌ی ادبیات و علوم انسانی، تالار دکتر ربّانی

پیوند سخنرانی برخط (آنلاین): 🔗
https://meet.google.com/iuy-aqhe-axd

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic

برنامه سخنرانی ها در سایت سمینار دو روزه منطق ریاضی قرار داده شده است.
https://math.ipm.ac.ir/conferences/2025/Logic2025/Schedule-Seminar.pdf

یادآوری سخنرانی امروز دوشنبه ۲۹ اردیبهشت ۱۴۰۴ ساعت 16 الی 18

عنوان: گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)

سخنران: مجتبی آقایی (دانشگاه صنعتی اصفهان)

#حضوری_مجازی

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان، دانشکده‌ی ادبیات و علوم انسانی، تالار دکتر ربّانی

پیوند سخنرانی برخط (آنلاین): 🔗
https://meet.google.com/iuy-aqhe-axd

قابل توجه پژوهشگران منطق ایران
فردا آخرین فرصت ارسال مقاله برای شرکت در جایزه سال منطق ۱۴۰۴ است. لطفا مقالات خود را حداکثر تا ساعت ۱۲ شب روز ۳۱ اردیبهشت به ایمیل mailroom@ialogic ir ارسال نمایید. لطفا توجه داشته باشید که این زمان تمدید نخواهد شد.

با سپاس

Logica Universalis Webinars + Springer Nature
Title: Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason
Speaker: Hugolin Bergier
Time: Wednesday, Khordad 7, 5:30 PM (Iran Local Time)
Permalink

پیام انجمن منطق ایران به مناسبت درگذشت دکتر محمود بینای مطلق
 
با نهایت تأثر مطلع شدیم که جناب دکتر محمود بینای مطلق استاد برجسته ریاضیات، منطق ریاضی، فلسفه و منطق فلسفی کشوردر روز سه‌شنبه ۶ خرداد ۱۴۰۴ چشم از جهان فروبستند.
ایشان دکترای فلسفه خود را در سال ۱۳۴۸ از دانشگاه گوتینگن آلمان دریافت کردند و در دانشگاه لوزان سوئیس به تحصیل و تدریس در رشته ریاضیات پرداختند. پس از رجعت به ایران، از سال ۱۳۵۶ به عنوان هیئت علمی در دانشگاه صنعتی اصفهان مشغول به کار شدند و تا حدود دو سال پس از بازنشستگی در سال ۱۳۸۴ به تدریس در این دانشگاه ادامه دادند. ایشان دروس متعددی در حوزه ریاضیات و برای سالیان متمادی دو درس «فلسفه علم» و «تاریخ علم» را در این دانشگاه ارائه کردند. دروسی که تأثیری ماندگار بر نحوه نگرش بسیاری از دانشجویانی بر جای گذاشت که در حال حاضر بسیاری از آنها در دانشگاه‌‌ها و مؤسسات معتبر داخلی و بین‌المللی در زمینه‌های مختلف ریاضیات، مهندسی، منطق، فلسفه و هنر مشغول به فعالیت هستند. ایشان در طیف وسیعی از موضوعات از شاخه‌های مختلف ریاضیات محض تا فلسفه و هنر به راهنمایی پایان‌نامه‌های پژوهشی در دانشگاه‌ها و مؤسسات مختلف کشور مبادرت ورزیدند. از آثار مهم ایشان می‌توان به دو کتاب «نظم و راز» و «فلسفه علم در پرتو حکمت خالده» اشاره کرد که کتاب اخیر به زبان انگلیسی تألیف و سپس به زبان‌های فرانسه، اسپانیایی، پرتغالی فارسی نیز ترجمه و منتشر شد. از ویژگی‌های ایشان تسلط بر زبان­‌های آلمانی، فرانسه، انگلیسی و عربی و همچنین تسلط کافی برای مطالعه متون لاتین، یونانی و سانسکریت بود.

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

هیئت مدیره انجمن منطق ایران
 
لازم به یادآوری است که مراسم یادبود و بزرگداشتی در روز دوشنبه ۱۲ خرداد از ساعت ۱۷ الی ۱۹ در دانشگاه صنعتی اصفهان به یاد ایشان برگزار خواهد شد که به ارائه مطلب و سخنرانی اختصاص خواهد یافت. اطلاعات بیشتر در نشانی زیر که به همت دانشکده ریاضی دانشگاه صنعتی اصفهان تهیه شده است در دسترس است:
https://mathdept.iut.ac.ir/fa/Dr_Bina_Motlagh

📌 به اطلاع می‌رساند سخنرانی ماهیانه‌‌ی خرداد‌ماه ۱۴۰۴ انجمن برگزار نخواهد شد.
لیست سخنرانی‌های ماهیانه‌ی تیرماه تا اسفندماه ۱۴۰۴ به زودی در کانال منتشر خواهد شد.