🛑 استاد میرشمس‌الدین ادیب سلطانی صبح امروز دیده از جهان فرو بستند.

درگذشت این استاد بزرگ، دانشمند برجسته و مترجم نامدار متون مشهور فلسفی، منطقی و ادبی را به جامعه علمی ایران و به ویژه جامعه‌ی منطق و فلسفه و خانواده ایشان تسلیت می‌گوییم و برای آن مرحوم از درگاه خداوند منّان، طلب رحمت و مغفرت می‌نمائیم.
‏

🛑🛑🛑
سخنرانی دکتر مسعود پورمهدیان (تحت عنوان منطق و احتمال) که قرار بود فردا دوشنبه 24 مهرماه در دانشگاه امیرکبیر برگزار شود، به دلیل کسالت لغو گردید و به زمان دیگری موکول شد.
زمان جدید سخنرانی ایشان از طریق درگاه‌های ارتباطی انجمن منطق ایران اطلاع‌رسانی خواهد شد.

The 11th annual conference of the Iranian Association for Logic will be held in cooperation with Iranian Research Institute of Philosophy at February 17-18, 2024.

✳️ Scopes: Mathematical Logic/ Philosophical Logic / Philosophy of Mathematics / Philosophy of Logic / Traditional Logic / History of Logic / Logic and Computer Science / Applied Logic / Logic and Methodology / Logic Education

✳️ Scientific Committee:
Darabi, Alireza
Fallahi, Asadollah
Farahani, Hadi
Golshani, Mohammad
Hojjati, Seyed Mohammad Ali
Mofidi, Alireza
Nabati, Fereshteh
Nabavi, Lotfollah
Roshandel Tavana, Nazanin
Salehi, Saeed
Shirmohammadzadeh Maleki, Fatemeh

✳️ Scientific Directors:
Asadollah Fallahi
Alireza Darabi

✳️ Executive Directors:
Ali Sadegh Daghighi
Seyyed Ahmad Mirsanei

✅ Submission deadline: January 5, 2024 (January 20, 2024 )

✉️: [email protected]
🌐: https://ialogic.ir/index.php/en/

Thanks
Conference Committee of Iranian Association for Logic

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

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

عنوان:
The Craig Interpolation Property in First-order Gödel Logic and Some of its Extensions

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

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

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

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

چکیده‌ی سخنرانی: (کلیک کنید.)

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

@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

📎
انجمن منطق ایران یازدهمین همايش سالانه خود را در روزهای شنبه و يکشنبه 28 و 29 بهمن 1402 و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه ایران برگزار می‌کند.

✳️حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق

✳️کمیته علمی: (به ترتیب الفبایی)
حجتی، سید محمد علی
دارابی، علیرضا
روشندل توانا، نازنین
شیرمحمدزاده ملکی، فاطمه
صالحی، سعید
فراهانی، هادی
فلاحی، اسداله
گلشنی، محمد
مفیدی، علیرضا
نباتی، فرشته
نبوی، لطف‌اله

✳️دبیران علمی: اسداله فلاحی، علیرضا دارابی
✳️کمیته اجرایی: علی صادق دقیقی، سید احمد میرصانعی

از علاقمندان و صاحب‌نظران در حوزه‌های گوناگون منطق دعوت می‌شود خلاصه مقاله 1000 تا 1500کلمه‌ای خود را به آدرس زیر ارسال نمایند: [email protected]

🛑 پایان مهلت ارسال مقالات: 15 دی 1402 (تا 30 دی 1402 تمدید شد.)

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

انجمن منطق ایران با همکاری مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران، همایشی یک روزه تحت عنوان «منطق: میراث ارسطو» در یادبود تلاش‌های علمی استاد مرحوم دکتر میرشمس‌الدّین ادیب سلطانی برگزار می‌کند.

✅ سخنرانان:
♦️دکتر موسی اکرمی (دانشگاه آزاد اسلامی واحد علوم و تحقیقات) / هنر بزرگ رایموندوس لولوس (رامون یوی)
♦️دکتر فرزاد دیده‌ور (دانشگاه صنعتی امیر کبیر) / زمان فازی و تأثیر آن بر حل مسائل نظریه پیچیدگی محاسبات
♦️دکتر غلام‌رضا ذکیانی (دانشگاه علامه طباطبایی) / ادیب در ارگانون
♦️دکتر مهدی عظیمی (دانشگاه تهران) / تجربه‌ی بهره‌گیری از میراث ادیب
♦️دکتر اسدااله فلاحی (مؤسسه پژوهشی حکمت و فلسفه ایران) / منطق آزاد و قضیه‌ی خارجیه
♦️دکتر لطف‌اله نبوی (دانشگاه تربیت مدرس) / مربع تقابل ارسطویی زیر میکروسکوپ فرگه
♦️دکتر سید محمود یوسف ثانی (مؤسسه پژوهشی حکمت و فلسفه ایران) / قیاس تخیّلی

شنبه 18 آذر 1402 (صبح و عصر)
خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره 4، مؤسسه‌ی پژوهشی حکمت و فلسفه ایران

برنامه زمان‌بندی سخنرانی‌ها متعاقباً از طریق سایت انجمن و مؤسسه‌ی پژوهشی حکمت و فلسفه ایران اطلاع‌رسانی خواهد شد.

برنامه زمان‌بندی سخنرانی‌های همایش یک روزه «منطق: میراث ارسطو» (یادبود تلاش‌های علمی استاد مرحوم دکتر میرشمس‌الدّین ادیب سلطانی)

شنبه 18 آذر 1402 – صبح و عصر

مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران، سالن دکتر نصر

@iranlogic

با سلام و احترام
گروه فلسفه دانشگاه تربیت مدرس با همکاری انجمن علمی فلسفه این دانشگاه برگزار می کند:

سخنرانی با عنوان:

«منطق پژوهش علمی»

سخنران:

آقای دکتر لطف الله نبوی، دانشگاه تربیت مدرس

زمان: سه شنب1402/09/28 ساعت ۱۰_۱۲

پر کردن فرمی که در لینک https://survey.porsline.ir/s/lHWvgM0p قرار داده شده است برای شرکت کنندگان خارج از دانشگاه تربیت مدرس بمنظور هماهنگی ورود ایشان به دانشگاه الزامی است. مهلت ارسال اطلاعات از طریق فرم تا یکشنبه 26 آذرماه میباشد.

مکان:  دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شکویی

🛑🛑🛑
سخنرانی «دکتر علی صادق دقیقی» تحت عنوان «تأثیرات پیشرفت‌های متأخر در نظریه‌ی مجموعه‌ها بر منطق فلسفی» که مطابق جدول اعلامی بنا بود دوشنبه 27 آذرماه ماه 1402 برگزار شود، به درخواست ایشان در روز دوشنبه 11 دی ماه 1402 برگزار خواهد شد.
سایر جزئیات و چکیده‌ی سخنرانی متعاقباً از طریق کانال تلگرامی و سایت انجمن منتشر خواهد شد.

📣📣📣

با پیگیری‌های کمیته همایش انجمن منطق ایران و کمیته اجرایی همایش، برای اولین بار مقالات یازدهمین همایش سالیانه انجمن منطق ایران توسط مؤسسه‌ی استنادی و پایش علم و فناوری در جهان اسلام (ISC) نمایه خواهد شد.

ضمناً یادآوری می‌شود آخرین مهلت ارسال خلاصه مقالات به همایش، 15 دی‌ماه 1402 (30 دی‌ 1402) می‌باشد.

📣📣📣 انجمن منطق ایران با همکاری مؤسسه فرهنگی دُکسا برگزار می‌کند:

✅ دوره‌ی آموزشی مجازی «خوانشی تکاملی از معقولیت در روان‌درمانی عقلانی_هیجانی» (4 جلسه)

مدرس دوره: دکتر هادی صمدی (عضو هیأت علمی دانشگاه آزاد اسلامی (واحد علوم و تحقیقات) و دبیر تحریریه دُکسا)

🗓 تاریخ‌های برگزاری: سه‌شنبه‌ها / 26 دی‌ماه و 3، 10 و 17 بهمن‌ماه 1402

🔗 لینک ثبت‌نام در دوره: https://m0h.ir/oc4gvg

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

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

عنوان:
تأثیرات پیشرفت‌های متأخر در نظریه‌ی مجموعه‌ها بر فلسفه‌ی ریاضی


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


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

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


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


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

@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

📌
رویداد روز جهانی منطق 2024

✳️ سخنرانان:
ماتیاس باز (دانشگاه صنعتی وین)
لطف‌الله نبوی (دانشگاه تربیت مدرس)
اسدالله فلاحی (مؤسسه‌ی پژوهشی حکمت و فلسفه ایران)
سعید صالحی (دانشگاه تبریز)

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

زمان: یک‌شنبه 24 دی‌ماه 1402 - ساعت 14 الی 18 (به وقت تهران)(حضوری-مجازی) و دوشنبه 25 دی‌ماه 1402 - ساعت 15:30 الی 17 (به وقت تهران) (مجازی)

مکان: خیابان نیاوران، میدان نیاوران، ضلع جنوبی میدان، پژوهشگاه دانش‌های بنیادی (IPM)، پژوهشکده‌ی ریاضیات، سالن شماره ۱

🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880

🌐 https://worldlogicday.com/events/2024/ial

📧 [email protected]

ialogic.ir

📌 مهلت ارسال مقالات به یازدهمین همایش سالانه انجمن منطق ایران تا پایان دی‌ماه 1402 تمدید شد.

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

🌐: https://ialogic.ir/
✉️: [email protected]


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

📌
#پوستر_فارسی

رویداد روز جهانی منطق 2024

✳️ سخنرانان:

ماتیاس باز (دانشگاه صنعتی وین)
Andrews Skolemization May Shorten Resolution Proofs Non-Elementarily

لطف‌الله نبوی (دانشگاه تربیت مدرس)
منطق علم سنجی؛ رهیافتی از گودل و تارسکی

اسدالله فلاحی (مؤسسه‌ی پژوهشی حکمت و فلسفه ایران)
نسبت قضایای خارجیه و شخصیه: تاریخ یک اشتباه

سعید صالحی (دانشگاه تبریز)
درباره‌ی احتمال توقف و اصل آزمون ‌و خطایِ شایتین


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

زمان: یک‌شنبه 24 دی‌ماه 1402 - ساعت 14 الی 18 (به وقت تهران)(حضوری-مجازی) و دوشنبه 25 دی‌ماه 1402 - ساعت 15:30 الی 17 (به وقت تهران) (مجازی)

مکان: خیابان نیاوران، میدان نیاوران، ضلع جنوبی میدان، پژوهشگاه دانش‌های بنیادی (IPM)، پژوهشکده‌ی ریاضیات، سالن شماره ۱

🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880

🌐 https://worldlogicday.com/events/2024/ial

📧 [email protected]

ialogic.ir

برنامه زمان‌بندی سخنرانی‌های روز جهانی منطق (2024)
🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880