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

طرحی کلی از پروژه منطقی خونجی
بهنام ذوالقدر (دانشگاه فرایبورگ)

چکیده
افضل‌الدین خونجی یکی از مهم‌ترین منطق‌دانان پس از ابن سینا است که آثارش تأثیرات مهمی بر اثار فلاسفه و منطق‌دانان پس از خود داشت. در این ارایه ابتدا تصویری نظام‌مند از پروژه فلسفی-منطقی خونجی در مقایسه با ابن‌سینا خواهم داد و سپس استدلال می‌کنم که تأثیر خونجی بر فیلسوفان و منطق‌دانان بعدی بیش از هر چیز جنبه معناشناختی و متافیزیکی دارد.

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

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

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

✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مک‌فراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور

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

✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا

✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)

✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی

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

The 13th Annual Conference of the Iranian Association for Logic

✳️ Call for Papers
The 13th Annual Conference of the Iranian Association for Logic will be held with an attractive special section ennoscriptd "Logic in Artificial Intelligence".
We encourage all those who are interested in various fields of logic to send their articles extended abstract by considering the guidelines for submitting articles to the Iranian Association for Logic conferences to lc1404@ialogic.ir.

✳️ Submission Deadline: Jan 10, 2025 (December 21, 2025)

✳️ Invited Speakers (From A to Z)
Abraham, Ajith / Sai University of India
Béziau, Jean-Yves / University of Brazil
Brattka, Vasco / University of the Bundeswehr Munich
Macpherson, Dugald / University of Leeds
Yang, Yue / National University of Singapore (NUS)

✳️ Conference Topics
Theoretical Approaches:
- Modern Logic (Mathematical and Philosophical)
- Traditional Logic
- Comparative Logic
- Informal Logic
- Philosophy of Logic
Applied Approaches:
- History of Logic
- Education of Logic
- Analytic and Linguistic Philosophy
- Scientific Methodology
- Critical Thinking
✳️ Special Section’s Topics
Logic in Artificial Intelligence:
- Logic in Autonomous Systems
- Human-Robot Interaction Model with a Logical Approach
- Non-classical Logics in Machine Learning
- Explainable AI (XAI: Neuro-Symbolic Integration)
- Denoscription Logics and Knowledge Representation
- Logic and Semantic Web
- Multi-Agent Reasoning
- Generative AI Reasoning Models
- Argumentation Mining
- Machine Thinking
- Logic for Ethical/Legal-based AI Frameworks
- Validation and Verification of Artificial Intelligence Systems with Logic
- Application of Extended Logics in Dynamic Environments

✳️ Scientific Directors
- Minaei-Bidgoli, Behrouz
- Roshandel Tavana, Nazanin

✳️ Scientific Committee (From A to Z)
- Alaeiyan, Mehdi (Iran University of Science and Technology)
- Amirkhani, Mahnaz (Al-Zahra University)
- Ardeshir Larijani, Ebrahim (Iran University of Science and Technology)
- Bahrami, Saeedeh (IPM)
- Dastafshan, Alireza (Researcher and Lecturer in Analytical Philosophy)
- Eslami, Esfandiar (Shahid Bahonar University of Kerman)
- Ghari, Meghdad (University of Isfahan)
- Hosseini, Seyed Hassan (Sharif University of Technology)
- Minaei-Bidgoli, Behrouz (Iran University of Science and Technology)
- Mozayani, Nasser (Iran University of Science and Technology)
- Roshandel Tavana, Nazanin (Amir Kabir University of Technology)
- Seraji, Payam (Mathematics House of Isfahan)

✳️ Conference Date and Venue
Date: February 16-17, 2026
Place: Artificial Intelligence and Robotics Group, Faculty of Computer Engineering, Iran University of Science and Technology

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

دنباله‌های فیبوناتچی تعمیم‌یافته
علی ولی‌زاده (دانشگاه اصفهان)

چکیده
ابتدا برخی از مفاهیم بنیادی نظریه مدل‌ها را مرور می‌کنم و با اتکاء به آنها دو ساختار مختلف، یکی با ماهیتی ترکیباتی و دیگری با ماهیتی عددی، را بررسی می‌کنم. سعی‌ام بر این است که به ویژگی‌های مختلف این ساختارها اشاره کنم. همچنین نشان خواهم داد که در یکی از این ساختارها که توسیعی جالب از حساب پرسبرگر است، امکان صحبت از دنباله‌های تعمیم‌یافته فیبوناتچی وجود دارد.

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

اطلاع‌رسانی رويدادهای بين‌المللی سازمان‌های همکار انجمن منطق ايران

Logica Universalis Webinars
Title: Correspondence Problems for Classes of Postlinear Orders
Speaker: Grigori Kolev
Time: Wednesday, Dec 17 (Azar 26), 18:30 (Iran Local Time)

📌 مهلت ارسال مقالات به سیزدهمين همایش سالانه انجمن منطق ایران تا ۲۰ دی‌ماه ۱۴۰۴ تمدید شد.

برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اینجا کلیک کنید.

🌐: https://ialogic.ir/
✉️: lc1404@ialogic.ir


کميته‌ اجرایی سیزدهمین همایش سالانه انجمن منطق ایران

با اعلام نتايج سومين دوره جایزه جهانی منطق که در دسامبر ۲۰۲۵ در پرو برگزار شد، Grigor Kolev از بلغارستان (Correspondence Problems for Classes of Postlinear Orders) به عنوان برنده نهايی انتخاب شد. در اين دوره منتخبين ۲۱ کشور به صورت حضوری به رقابت پرداختند که ايران با توجه به نداشتن برگزيده کشوری (هيچکدام از مقالات ارسال‌شده برای جایزه منطق سال ۱۴۰۴ ايران به نام "ابن‌سینا" با نظر هيات داوران جایزه حايز صلاحيت اعطای جایزه و شرکت در مسابقه جهانی تشخيص داده نشدند) نماينده‌ای در جایزه جهانی ۲۰۲۵ نداشت. ويژه‌نامه منتشرشده مقالات جایزه جهانی در لينک زير قابل دسترسی است:
https://link.springer.com/journal/11787/volumes-and-issues/19-4
دوره چهارم جایزه جهانی در سال ۲۰۲۸ (۱۴۰۷) برگزار می‌شود و فرد منتخب ايران که بتواند جایزه ابن‌سینا را کسب نمايد، برای آن معرفی خواهد شد. سازوکار اجرايی متعاقباً اعلام می‌شود.

📌
2026 World Logic Day (#online)

▶️ Conference Schedule

✳️ Lotfollah Nabavi
(Tarbiat Modares University)
Gödel Translation: an Approach to Logical Monism

✳️ Massoud Pourmahdian
(Amirkabir University of Technology)
A Mathematical Viewpoint to Mathematical Logic

✳️ Mohammad Izadi
(Sharif University of Technology)
Neural-Symbolic Artificial Intelligence: A Two-Way Connection Between Logical Reasoning and Machine Learning

Wednesday; January 14, 2026 - 14:30-18:00 (GMT +3:30)
Iran, Tehran, Azadi St., Sharif University of Technology, Faculty of Computer Engineering, Kharazmi Hall

Link: https://vc.sharif.edu/ch/logicday

🌐 https://worldlogicday.com/events/2026/ial-world-logic-day-2026-event

🌐 https://ialogic.ir/index.php/en/

📧 mailroom@ialogic.ir

📌رویداد روز جهانی منطق ۲۰۲۶

◀️ برنامه سخنرانی‌ها

✳️ لطف‌الله نبوی (دانشگاه تربیت مدرس)
ترجمان گودلی: رهیافتی به وحدت گرایی منطقی (ساعت ۱۴:۳۰)

✳️ مسعود پورمهدیان (دانشگاه صنعتی امیرکبیر)
رویکرد ریاضیاتی به منطق ریاضی (ساعت ۱۵:۳۰)

✳️ محمد ایزدی (دانشگاه صنعتی شریف)
هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری ماشین (ساعت ۱۷:۰۰)

زمان: چهارشنبه، ۲۴ دی‌ ۱۴۰۴ - ساعت ۱۴:۳۰ الی ۱۸

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

نحوه‌ی برگزاری: #مجازی

لینک شرکت در رویداد:
https://vc.sharif.edu/ch/logicday

شرکت‌کنندگان محترم می‌توانند به صورت "میهمان" وارد جلسه شوند.


🌐 https://worldlogicday.com/events/2026/ial-world-logic-day-2026-event

اطلاعیه نتایج ارزیابی عملکرد انجمن منطق ایران

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

🛑
با توجه به محدودیت‌های موجود و مجازی شدن فعالیت‌های دانشگاه میزبان در هفته آتی، رویداد روز جهانی منطق ۲۰۲۶ در ایران صرفاً به صورت مجازی و از طریق لینک زیر برگزار خواهد شد:

https://vc.sharif.edu/ch/logicday

شرکت‌کنندگان محترم می‌توانند به صورت "میهمان" وارد جلسه شوند.

زمان: چهارشنبه، ۲۴ دی‌ ۱۴۰۴ - ساعت ۱۴:۳۰ الی ۱۸