انجمن منطق ایران

با توجه به استقبال اهالی جامعه منطق و درخواست‌های موجود، مهلت ارسال مقاله برای سیزدهمین همایش سالیانه انجمن منطق ایران تا پایان روز ۱۰ مرداد ۱۴۰۵ تمدید شد. از علاقمندانی که در حال آماده‌سازی مقالات خود هستند خواهشمندیم که نسبت به ارسال مقاله در این مهلت اقدام…

زمان جدید برگزاری سیزدهمين همايش ساليانه انجمن منطق ايران اعلام شد. سیزدهمين همايش ساليانه انجمن منطق ايران (همایش ۱۴۰۴) که به دلیل شرایط حاکم بر کشور به تعویق افتاده بود، در تاریخ ۲۱ و ۲۲ شهریور ۱۴۰۵ برگزار خواهد شد. در صورت فراهم بودن شرایط برگزاری حضوری،…

📌 نشست تاریخ منطق در ایران از سلسله  سخنرانی‌های آزاد حکمی و فلسفی کمیسیون تاریخ علم فرهنگستان علوم با همکاری گروه علوم اسلامی فرهنگستان علوم ✅ سخنرانان: ▫️دکتر داود حیدری استادیار گروه فلسفه و کلام اسلامی دانشگاه علوم اسلامی رضوی ▫️دکتر علیرضا دارابی استادیار گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران ▫️دکتر مهدی عظیمی دانشیار گروه فلسفه و کلام اسلامی دانشگاه تهران ▫️ دکتر اسدالله فلاحی استاد گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران ▫️ دکتر لطف‌الله نبوی استاد گروه فلسفه و منطق دانشگاه تربیت مدرس ▫️دکتر سیدمحمود یوسف‌ثانی دانشیار گروه مطالعات ابن‌سینا مؤسسه پژوهشی حکمت و فلسفه ایران 🔺 زمان: یکشنبه 1405/04/21 ساعت 13 تا 16:30 🔻 مکان: سالن ابن‌سینا فرهنگستان علوم ✅ نشست به صورت حضوری و برخط برگزار می‌شود و علاقه‌مندان می‌توانند برای حضور آنلاین از طریق لینک زیر وارد شوند: https://www.skyroom.online/ch/ias/chs

زمان جدید برگزاری سیزدهمين همايش ساليانه انجمن منطق ايران اعلام شد. سیزدهمين همايش ساليانه انجمن منطق ايران (همایش ۱۴۰۴) که به دلیل شرایط حاکم بر کشور به تعویق افتاده بود، در تاریخ ۲۱ و ۲۲ شهریور ۱۴۰۵ برگزار خواهد شد. در صورت فراهم بودن شرایط برگزاری حضوری، دانشگاه علم و صنعت ایران میزبان این همایش خواهد بود و در غیر این صورت به طور مجازی برگزار می‌شود. با توجه به اینکه به دلیل مشکلات نت در کشور تعدادی از علاقمندان موفق به ارسال مقالات خود نشده بودند، مهلت ارسال مقاله تا تاریخ ۳۱ تیر ۱۴۰۵ تمدید شده و از همه پژوهشگران دعوت می‌شود که مقالات خود را در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir یا hamed.bastin@gmail.com) ارسال نمايند. ✳️ رويکردهای نظری منطق - منطق جديد (رياضی و فلسفی) - منطق سنتی - منطق تطبیقی - منطق غيرصوری - فلسفه منطق ✳️ رويکردهای کاربردی منطق - تاريخ منطق - آموزش منطق - فلسفه تحليلی و زبانی - روش‌شناسی علم - تفکر انتقادی ✳️ منطق در هوش مصنوعی    • منطق در سیستم‌های خودمختار   • مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی   • منطق‌های غیرکلاسیک در یادگیری ماشین   • هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)   • منطق‌های توصیفی و بازنمایی دانش   • منطق و وب معنایی   • استدلال‌ورزی چندعاملی   • هوش مولد استدلال‌گر   • خوانش استدلالی ماشینی   • تفکر ماشینی   • منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی   • اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی   • کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا  ✳️ دبیران علمی همایش بهروز مینایی بیدگلی و نازنین روشندل توانا ✳️ اعضای کمیته علمی (به ترتیب حروف الفبا) - اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت) ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان) - امیرخانی، مهناز (دانشگاه الزهرا) - بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی) - حسینی، سیدحسن (دانشگاه صنعتی شریف) - دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی) - روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر) - سراجی، پیام (خانه ریاضیات اصفهان) - علائیان، مهدی (دانشگاه علم و صنعت) - قاری، مقداد (دانشگاه اصفهان) - مزینی، ناصر (دانشگاه علم و صنعت) - مینایی بیدگلی، بهروز (دانشگاه علم و صنعت) ✳️ دبیر اجرایی همایش ابراهیم اردشیر لاریجانی ✳️زمان و مکان برگزاری همايش ۲۱ و ۲۲ شهریور ۱۴۰۵؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت ایران

اطلاع‌رسانی رويدادهای بين‌المللی سازمان‌های همکار انجمن منطق ايران Logica Universalis Webinars Title: Modal Logic in Europe Speaker: Jacques Riche Time: Wednesday, Jun 10 (Xordad 20), 17:30 (Iran Local Time)

به اطلاع می‌رساند مراسم یادبود مرحوم حسین حسینی، پدر گرامی دکتر داود حسینی (مدیر گروه و عضو هیأت علمی گروه فلسفه، منطق و حکمت دانشگاه تربیت مدرس)، روز دوشنبه، چهارم خردادماه 1405، از ساعت ۱۳ الی ۱۴:۳۰ در مسجد دانشگاه تربیت ‌مدرس برگزار خواهد شد. از طرف انجمن منطق ایران، این ضایعه بزرگ را به جناب آقای دکتر داود حسینی و خانواده محترمشان تسلیت عرض می‌نماییم.

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

📌 2026 World Logic Day ▶️ Conference Schedule ✳️ Lotfollah Nabavi (Tarbiat Modares University) Gödel Translation: an Approach to Logical Monism ✳️ Massoud Pourmahdian (Amirkabir University of Technology) A Mathematical…

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

📌 رویداد روز جهانی منطق ۲۰۲۵ ✳️ مجمع عمومی انجمن (به صورت مجازی و فقط برای اعضای پیوسته انجمن برگزار می‌شود) گزارش عملکرد هيأت مدیره دوره پنجم ◀️ برنامه سخنرانی‌ها (توجه به این نکته ضروری است که سخنرانی‌ها فقط به صورت حضوری برگزار می‌شود.…

📌 2026 World Logic Day ▶️ 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, Sharif University of Technology, Faculty of Computer Engineering (Just #online) Link: https://vc.sharif.edu/ch/logicday 🌐 https://worldlogicday.com/events/2026/ial-world-logic-day-2026-event 🌐 https://wld.cipsh.international/wld2026.html

انجمن منطق ایران pinned «فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود. از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰…»

انجمن منطق ایران اولین جایزه سال منطق (جایزه ابن‌سینا) را در سال ۱۴۰۴ اهدا می‌کند. برگزیده این جایزه به عنوان نماینده ایران در سومین دوره جایزه بین‌المللی منطق که در هشتمين همايش جهانی و مدرسه منطق یونيورسال از ۴ تا ۱۴ دسامبر ۲۰۲۵ در پرو اهدا می‌شود، شرکت…

اطلاع‌رسانی رويدادهای بين‌المللی سازمان‌های همکار انجمن منطق ايران 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://meet.google.com/cpj-mhhf-kyc

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 entitled "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) - Description 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

📚 ترجمه‌ی فارسی کتاب "کواین: راهنمای سرگشتگان" (Quine: A Guide for the Perplexed) اثر گری کِمپ توسط انتشارات علمی و فرهنگی منتشر شد. 💠 انجمن منطق ایران انتشار این اثر ارزشمند را به مترجم این کتاب، جناب آقای دکتر بهاءالدین موحد تبریک عرض می‌نماید. @iranlogic

Logica Universalis Webinars Title: Crazy Dice, Chance, and Counting Causes Speaker: Roy T. Cook Time: Wednesday, Aban 7, 5:30 PM (Iran Local Time) Permalink