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

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

بنا بر ارزیابی کمیته‌های علمی و اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران، مبنی بر فراهم نبودن شرایط سخت‌افزاری و نرم‌افزاری برگزاری همایش، هیات مدیره انجمن منطق ایران تصمیم به لغو برگزاری همایش گرفت. زمان جدید برگزاری متعاقبا اعلام خواهد شد. دبیرخانه همایش تا اطلاع ثانوی پذیرای مقالات ارسالی خواهد بود. برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اینجا کلیک کنید. 🌐: https://ialogic.ir/ ✉️: lc1404@ialogic.ir 

📌 مهلت ارسال مقالات به سیزدهمين همایش سالانه انجمن منطق ایران تا ۲۰ دی‌ماه ۱۴۰۴ تمدید شد (با توجه به شرایط دسترسی به نت در ایران و محدودیت‌های موجود، مهلت ارسال مقالات تا ۵ بهمن تمدید شده و در سایت انجمن اطلاع‌رسانی شده است). با وجود اتمام مهلت ارسال مقالات، بر اساس تصمیم کمیته علمی همایش، با نویسندگان مقالاتی که بعد از تاریخ ۵ بهمن دریافت شوند نیز کمال همکاری صورت خواهد گرفت. در صورتی که مشکل یا سوالی دارید با شماره ۰۹۱۹۴۵۱۶۲۹۸ تماس بگیرید. برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اینجا کلیک کنید. 🌐: https://ialogic.ir/ ✉️: lc1404@ialogic.ir  کميته‌ اجرایی سیزدهمین همایش سالانه انجمن منطق ایران

با توجه به محدودیت‌های موجود و مجازی شدن فعالیت‌های دانشگاه میزبان در هفته آتی، رویداد روز جهانی منطق ۲۰۲۶ در ایران صرفاً به صورت مجازی و از طریق لینک زیر برگزار خواهد شد: https://vc.sharif.edu/ch/logicday شرکت‌کنندگان محترم می‌توانند به صورت "میهمان" وارد جلسه شوند. زمان: چهارشنبه، ۲۴ دی‌ ۱۴۰۴ - ساعت ۱۴:۳۰ الی ۱۸

📌 رویداد روز جهانی منطق 2026 ◀️ برنامه سخنرانی‌ها: ✳️ لطف‌اله نبوی (دانشگاه تربیت مدرس) ترجمان گودلی: رهیافتی به وحدت گرایی منطقی (ساعت 14:30) ✳️ مسعود پورمهدیان (دانشگاه صنعتی امیرکبیر) رویکرد ریاضیاتی به منطق ریاضی (ساعت 15:30) ✳️ محمد ایزدی (دانشگاه صنعتی شریف) هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری ماشین (ساعت 17:00) زمان: چهارشنبه 24 دی‌ماه 1404 - ساعت 14:30 الی 18 مکان: تهران، خیابان آزادی، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر، طبقه 4، سالن خوارزمی 🌐 https://ialogic.ir 📧 mailroom@ialogic.ir

📌 World Logic Day 2026 ▶️ 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 🌐 https://worldlogicday.com/events/2026/ial 📧 mailroom@ialogic.ir

🟠🟠 پیشنهاد ویژه برای پژوهشگران فلسفه دین 📌 ۵۵ ساعت صوت سخنرانی‌های سه سال گذشته 📌 پاورپوینت سخنرانی‌های سه سال گذشته 📌 کتابچه خلاصه فارسی سخنرانی‌ها 📌 کتابچه منابع معتبر جهت مطالعه پژوهشگران 🔴 موضوعات: 🔸 مفاهیم و موضوعات مقدماتی خداباوری و خداناباوری 🔸 مسئله ذهن_ بدن 🔸 مسئله شر 🔸 مسئله اراده آزاد 🔸 انواع طبیعی 🔸 قوانین طبیعت 🔸 غایتمندی 🔴 برخی سخنرانان: مایکل روس، گراهام اپی، تیموتی اکانر، جفری کوپرسکی، برایان لفتو، لیندا زگزبسکی، ویلیام کریگ، کارا ریچاردسون، نانسی مورفی، الیوت سوبر استفان لا، رابین کالینز، دنیز الکساندر، سید حسن حسینی، ابراهیم آزادگان، نعیمه پورمحمدی، مهدی همازاده و ... 📌 خرید بسته: https://theismschool.com/فروشگاه/ ➖➖➖➖ 💟  Fanoos 🆔  Fanoos

#تبادل 👇👇👇

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

◆ سلسله جلسات سخنرانی انجمن علمی فلسفه علم شریف ◆ «مبانی فلسفی منطق شهودگرایانه» ◆ دکتر محمّد اردشیر(استاد منطقِ دانشگاه صنعتی شریف) ◈زمان: سه شنبه ۲ دی ساعت ۱۷:۰۰ ◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی ⭕️ مهم! لطفا مشخصات خود را در این قسمت جهت ورود به دانشگاه شریف وارد کنید (در غیر اینصورت متاسفانه حراست دانشگاه شریف، از ورود شما جلوگیری خواهد کرد). ◈ ظرفیت مراجعین خارج از دانشگاه محدود می باشد. ◆ انجمن علمی فلسفه علم شریف

📌 مهلت ارسال مقالات به سیزدهمين همایش سالانه انجمن منطق ایران تا 20 دی‌ماه 1404 تمدید شد. برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اینجا کلیک کنید. 🌐: https://ialogic.ir/ ✉️: lc1404@ialogic.ir کميته‌ اجرایی سیزدهمین همایش سالانه انجمن منطق ایران

📌 یادآوری سخنرانی امروز: دنباله‌های فیبوناتچی تعمیم‌یافته علی ولی‌زاده (دانشگاه اصفهان) ساعت ۱۶ الی ۱۷:۳۰ سخنرانی به صورت مجازی برگزار می‌شود. پیوند سخنرانی برخط (آنلاین) 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://meet.google.com/cpj-mhhf-kyc

The 13th Annual Conference of the Iranian Logic Association ✳️ Call for Papers: The 13th Annual Conference of the Iranian Logic Society will be held in Iran University of Science and Technology at February 16-17, 2026 with an attractive special section entitled "Logic in Artificial Intelligence". ✳️ 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) We encourage all those who are interested in various fields of logic to send their short articles by considering the guidelines for submitting articles to the Iranian Logic Society conferences to the following email address: lc1404@ialogic.ir. ✳️ Submission Deadline: December 21, 2025 ✳️ 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: February 16-17, 2026; Artificial Intelligence and Robotics Group, Faculty of Computer Engineering, Iran University of Science and Technology

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

در حال برگزاری ...

🔴 یادآوری سخنرانی امروز ساعت ۱۶ الی ۱۸ عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی طرحی کلی از پروژه منطقی خونجی بهنام ذوالقدر (دانشگاه فرایبورگ) #مجازی پیوند سخنرانی برخط (آنلاین): https://meet.google.com/cpj-mhhf-kyc

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

طرحی کلی از پروژه منطقی خونجی بهنام ذوالقدر (دانشگاه لودویگ ماکسیمیلیانس مونیخ) چکیده افضل‌الدین خونجی یکی از مهم‌ترین منطق‌دانان پس از ابن سینا است که آثارش تأثیرات مهمی بر اثار فلاسفه و منطق‌دانان پس از خود داشت. در این ارایه ابتدا تصویری نظام‌مند از پروژه فلسفی-منطقی خونجی در مقایسه با ابن‌سینا خواهم داد و سپس استدلال می‌کنم که تأثیر خونجی بر فیلسوفان و منطق‌دانان بعدی بیش از هر چیز جنبه معناشناختی و متافیزیکی دارد. تاریخ: دوشنبه، ۲۶ آبان ۱۴۰۴، ساعت ۱۶ الی ۱۸ سخنرانی به صورت مجازی برگزار می‌شود. پیوند سخنرانی برخط (آنلاین) https://meet.google.com/cpj-mhhf-kyc

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