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

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

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

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

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

Two days Seminar on
Mathematical Logic and its Applications
May 28-29, 2025
More Info:

https://math.ipm.ac.ir

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

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

📌 برنامه‌ی سخنرانی‌های انجمن منطق ایران در بازه زمانی تیرماه تا اسفندماه 1404
———————————————————
ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی درج و اطلاع‌رسانی خواهد شد.

@IranLogic

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

تاریخ: دوشنبه، ۳۰ تیر ۱۴۰۴، ساعت ۱۶ الی ۱۸

عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی

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

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

آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴

پیوند سخنرانی برخط (آنلاین):
https://www.skyroom.online/ch/irip/logic
————————————
@IranLogic

🔴 یادآوری سخنرانی امروز ساعت ۱۶ الی ۱۸

عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی

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

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

آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴، مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران

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

Logica Universalis Webinars
Title: Logic and the Social World
Speaker: Rohit Parikh
Time: Wednesday, Mordad 22, 5:30 PM (Iran Local Time)
Permalink

به اطلاع کلیه اعضای جامعه منطق ایران می‌رسانیم که با تصمیم هیات داوران اولین جایزه سال منطق ایران، هیچکدام از آثار ارسالی به دبیرخانه جایزه، واجد شرایط انتخاب به عنوان برنده مسابقه و دریافت جایزه ابن‌سینا قرار نگرفت، لذا ایران در سومین دوره جایزه جهانی منطق که در دسامبر ۲۰۲۵ در پرو برگزار می‌شود، نماینده‌ای نخواهد داشت.
به همت انجمن منطق ایران، عنوان جایزه ملی منطق ایران، مزین به نام منطق‌دان بزرگ ایرانی، ابن سینا، در سایت جایزه جهانی منطق ثبت و صفحه اختصاصی آن ایجاد شد. دوره چهارم جایزه جهانی منطق در سال ۲۰۲۸ برگزار خواهد شد.
https://www.uni-log.org/logic-prize-iran-2025

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

متریک و منطق‌های چندارزشی
محمد امین خاتمی (دانشگاه صنعتی بیرجند)

چکیده
در منطق کلاسیک رابط منطقی «اگر و فقط اگر» اهمیت ویژه‌ای در تشکیل جبر لیندنبائوم متناظر با یک تئوری دارد. در واقع با رابط منطقی اگر و فقط اگر به نوعی یک فاصله بین گزاره‌ها تعریف می‌شود و گزاره‌هایی که فاصله آنها با هم صفر است در یک کلاس هم‌ارزی از جبر لیندنبائوم قرار می‌گیرند. در منطق‌های چندارزشیِ مبتنی بر t-نرم، نیز رابط منطقی اگر و فقط اگر ارتباط نزدیکی با مفهوم فاصله یا همان متریک دارد. در این سخنرانی ابتدا یکی از مناظر ارتباط بین رابط منطقی اگر و فقط اگر و متریک را توضیح می‌دهم. سپس با توجه به این موضوع خواهم گفت که یک متریک با چه خواصی می‌تواند یک منطق چندارزشی ارائه دهد.

تاریخ: دوشنبه، ۲۷ مرداد ۱۴۰۴، ساعت ۱۶ الی ۱۸
سخنرانی به صورت مجازی برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین)
https://meet.google.com/cpj-mhhf-kyc

لینک سخنرانی‌ مجازی امروز ساعت ۱۶ الی ۱۸:

https://meet.google.com/cpj-mhhf-kyc

عنوان: متریک و منطق‌های چندارزشی

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

فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران

سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.
از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.

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

زمان و مکان برگزاری همايش
۲۸ و ۲۹ بهمن ۱۴۰۴؛ دانشکده کامپیوتر، دانشگاه علم و صنعت ايران