راهنمای شرکت در انتخابات پنجمین هیئت‌مدیره‌ی انجمن منطق
۷ صبح شنبه ۲۱ اسفند تا ۱۷ عصر دوشنبه ۲۳ اسفند
۱- به آدرس زیر مراجعه نمایید:
https://msrtvote.ut.ac.ir/vote_api/start/
۲-آدرس ایمیل خود را که به انجمن معرفی نموده اید وارد نمایید. کنترل امنیتی را وارد نموده و دکمه ارسال رمز یکبار مصرف را کلیک نمایید.
۳-رمز یک بار مصرف دریافت شده را (با کیبورد انگلیسی) وارد نموده و دکمه ورود را کلیک نمایید.
۴- در صورتی که در بازه مجاز برگزاری انتخابات باشید وضعیت رای دهی شما نمایش داده می شود. در صورتی که هنوز رای نداده اید گزینه رای دهی برای شما فعال می شود. روی آن کلیک نمایید تاوارد صفحه انتخاب حوزه شوید.
۵- در فرم رای دهی اسامی کاندیداها به شما نمایش داده می شود و سقف تعداد انتخاب که ۵ نفر است کلیک نموده و دکمه ثبت را بزنید. رای شما ثبت می شود و به صفحه انتخاب حوزه باز می گردید.

نتایج انتخابات پنجمین هیئت‌مدیره‌ی انجمن منطق ایران، روی وب‌سایت رسمی انجمن به آدرس زیر قرار گرفت:
https://ialogic.ir/index.php/organization/2021-08-31-12-58-32/255-2022-03-16-08-01-06

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۶ اردیبهشت ۱۴۰۱ ساعت ۱۶
عنوان: بازتفسیر و ارزیابی منطق حملی ارسطویی بر مبنای منطق‌های غیرکلاسیک
سخنران: عامر آمیخته
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی میهمان برگزار می‌شود:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/256-2022-05-10-03-21-03
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران (با همکاری گروه فلسفه دانشگاه اصفهان)
تاریخ: دوشنبه ۳۰ خرداد ۱۴۰۱ ساعت ۱۶
عنوان: تأثیر و تأثر منطق و پارادوکس‌ها بر نظریه محاسبات عام ( *TC، زمان فازی)
سخنران: فرزاد دیده‌ور (دانشگاه صنعتی امیرکبیر)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی میهمان برگزار می‌شود:
https://meeting.ui.ac.ir/ch/mantegh
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/258-2022-06-15-05-07-35
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۳۱ مرداد ۱۴۰۱ ساعت ۱۶
عنوان: نگاهی معناشناسانه به برخی منطق‌های غیرکلاسیک
سخنران: سعید صالحی پورمهر (دانشگاه تبریز)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی میهمان برگزار می‌شود:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید: 
https://ialogic.ir/index.php/lectures/259-1401-05-salehi
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۸ شهریور ۱۴۰۱ ساعت ۱۶
عنوان: صورت­‌بندی و راه حلی از پارادوکس پروتاگوراس در یک منطق تلفیقی توجیه، زمان و تکلیف
سخنران: مقداد قاری (دانشگاه اصفهان و پژوهشگاه دانشهای بنیادی)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و به میزبانی گروه فلسفه دانشگاه اصفهان برگزار می‌شود:
https://vroom.ui.ac.ir/b/zmj-v2i-ncf-di0
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید: 
https://ialogic.ir/index.php/lectures/262-ghari-1401-06
کانال تلگرام انجمن منطق ایران:
@IranLogic

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

انجمن منطق ایران دهمین همايش سالانه خود را در هفته اول اسفند 1401 با همکاری دانشگاه امیرکبیر (دانشکده ریاضی) برگزار می‌کند.
حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق

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

پایان مهلت ارسال مقالات: 30 آبان ماه 1401 (تا 30 دی‌ماه 1401 تمدید شد.)

دبیران همایش: فرزاد دیده‌ور، سید احمد میرصانعی

برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اعضای کمیته علمی و توضیحات مبسوط‍‌تر در مورد تصمیمات کمیته‌های علمی و اجرایی همایش به آدرس زیر مراجعه نمایید:
https://ialogic.ir/index.php/colloquium/54-2022-09-11-17-18-37/261-2022-09-11-17-52-39
با سپاس پیشاپیش
کميته همايش انجمن منطق ایران

https://ialogic.ir/
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 25 مهرماه ۱۴۰۱، ساعت 16:30

عنوان: یک مدل انبساطی-تقارنی جبـرگرایانه برای عکس فرمول بوریدان

سخنران: لطف‌الله نبوی (دانشگاه تربیت مدرس)

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

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

پیوند سخنرانی برخط (آنلاین):
https://lablive.modares.ac.ir/b/dav-vi7-eyf

چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/265-nabavi-1401-07
کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

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

برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اعضای کمیته علمی و توضیحات مبسوط‍‌تر در مورد تصمیمات کمیته‌های علمی و اجرایی همایش به سایت انجمن و آدرس زیر مراجعه نمایید:
https://ialogic.ir/index.php/2022-12-11-17-07-09/colloquium/54-2022-09-11-17-18-37/261-2022-09-11-17-52-39
کميته‌ی دهمین همایش سالانه انجمن منطق ایران

The 10th Annual Conference of the Iranian Logic Association

Call for Papers:
The 10th annual conference of the Iranian Logic Association will be held in cooperation with Amirkabir University of Technology (Faculty of Mathematics) on February 22-23, 2023.
The conference is focused on the following topics:
- 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


We encourage all those who are interested in various fields of logic to send their 1000-to-1500-words short articles to the following email address: [email protected]
The submission deadline:February 4, 2023

The organizers of the conference:
-Farzad Didehvar
-Seyyed Ahmad Mirsanei

For more information, click HERE.

Thanks
Conference Committee of Iranian Association for Logic

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

تاریخ: دوشنبه 28 آذرماه 1401، ساعت 16

عنوان: قیاس‌های مختلط از قضایای حقیقیه و خارجیه

سخنران: اسدالله فلاحی (استاد مؤسسة پژوهشی حکمت و فلسفة ایران)

سخنرانی به صورت مجازی و به میزبانی گروه فلسفه دانشگاه اصفهان برگزار خواهد شد:

پیوند سخنرانی برخط (آنلاین):
https://vroom.ui.ac.ir/b/zmj-v2i-ncf-di0

چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/images/seminars/monthly/28Azar1401/1401.pdf
کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

📌
✅ یادآوری سخنرانی امروز ساعت ۱۶

عنوان: قیاس‌های مختلط از قضایای حقیقیه و خارجیه

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

📌📣 Monthly lecture (The Iranian Association for Logic):

🗓 Monday, January 16, 2023 / 16:00 - 18:00

📎 Title: "Mathematical Explanation and Grounding Explanation: Against Divergence Thesis"

Lecturer: Mohammad Maarefi (University School for Advanced Studies Pavia (IUSS))

✳️ The lecture will be held in English.

Host: University of Isfahan - Department of Philosophy

🔗 Link: https://vroom.ui.ac.ir/b/zmj-v2i-ncf-di0
————————————
Abstract:
Mark Lange has defended the view that mathematical explanation and grounding explanation diverge. In this paper, I’ll show that there is a variety of grounding explanation that is immune to his criticisms. To do so, after fixing a minimal separatist theory of ground, I’ll argue that his arguments are mostly relying on another thesis about grounding (I’ll call it atomic grounding thesis) which is not supported. Furthermore, the second attempt from “purity” does not seem to be fully satisfactory. Finally, I briefly criticize his view about mathematical explanation, and I’ll argue that “salience” is a wrong call for the purposes of mathematical explanation.
————————————
Telegram: @IranLogic
Whatsapp: https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

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

دهمین همايش سالانه انجمن منطق ایران، سوم و چهارم اسفندماه 1401 با همکاری دانشگاه امیرکبیر (دانشکده ریاضی) برگزار خواهد شد.
حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق

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

پایان مهلت ارسال مقالات: 30 دی‌ماه 1401 (تا 15 بهمن‌ماه 1401 تمدید شد.)

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

دبیران همایش: فرزاد دیده‌ور، سید احمد میرصانعی

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

با سپاس پیشاپیش
کميته همايش انجمن منطق ایران

اطلاعیۀ ثبت نام "دهمین همایش سالیانه انجمن منطق ایران"

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندانِ منطق می‌رساند دهمین همایش سالیانۀ انجمن منطق ایران در چهار نوبت صبح و عصر در روزهای چهارشنبه و پنج‌شنبه، 3 و 4 اسفندماه 1401 به میزبانی دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد. لازم به ذکر است همایش به صورت ترکیبی حضوری-مجازی خواهد بود (روز اول حضوری و روز دوم مجازی).
در ضمن، عصر روز اول، مجمع عمومی انجمن برگزار خواهد شد.

شما می‌توانید با تکمیل فرم اینترنتی ثبت نام به آدرس زیر، در همایش ثبت‌نام کنید:

*. فرم ثبت نام در همایش

—————————————————
اطلاعات مورد نیاز برای ثبت نام:

1) نام و نام خانوادگی
2) دانشگاه محل فعالیت و مقطع تحصیلی
3) شماره تماس (ترجيحاً موبايل)
4) آدرس ایمیل
5) کد ملّی
6) رسید یا اطلاعات پرداخت هزینه ثبت ­نام (80،000 تومان)
7) رسید یا اطلاعات پرداخت هزینه ناهار روز اول (100،000 تومان)

خواهشمندیم با پرداخت به موقع هزینه ثبت‌نام تا تاریخ 1401/11/30 ما را در برگزاری شایسته همایش یاری نمائید.

پس از انجام فرآیند پرداخت، تصویر فیش یا رسید پرداختی را به همراه نام و شماره کارت واریز کننده در قسمت مربوطه در فرم ثبت نام آپلود و یا در صورت بروز مشکل، به آدرس [email protected] ایمیل کنید. (لطفاً رسید واریز را تا تائید ثبت‌نام نزد خود نگه‌دارید).

برای آگاهی از اطلاعات جدید درباره همایش لطفاً به سایت انجمن منطق ایران www.irlogic.org مراجعه کنید و سؤالات خود را با ما از طریق ایمیل [email protected] در میان بگذارید.

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

🛑⚠️🛑
آخرین مهلت ارسال مقالات به دهمین همایش سالیانه انجمن منطق ایران، تنها تا فردا 15 بهمن‌ماه 1401 است و دیگر تمدید نخواهد شد.
ضمناً با توجه به شرایط غیر پایدار اینترنت و مشکلات بعضی سرویس‌های ایمیل دانشگاهی، در صورت بروز مشکل در ارسال مقاله به آدرس [email protected]، مشکل را از طریق آدرس ایمیل [email protected] و یا ID تلگرامی @sahmir118 با ما در میان بگذارید.

با سپاس فراوان از اساتید، دانشجویان و پژوهشگران محترمی که در مهلت اعلام شده، خلاصه مقالات ارزشمند خود را برای دهمین همایش سالیانه انجمن منطق ایران ارسال نمودند.
پاسخ اعلام وصول مقالات، برای تمام مقالات دریافتی از طریق ایمیل همایش و نیز آدرس ایمیل کمکی [email protected] و یا ID تلگرامی @sahmir118 ارسال شده است، و نتیجه داوری‌ها هم در اسرع وقت به اطلاع عزیزان خواهد رسید.
با این وجود، با توجه به اختلالات اینترنتی (حتی در سرورهای ایمیل داخلی) اگر مقاله‌ای برای همایش ارسال کرده‌اید و پاسخی مبنی بر اعلام وصول مقاله از جانب کمیته همایش دریافت نکرده‌اید، لطفاً حداکثر تا 18 بهمن 1401 از طریق ID تلگرامی sahmir118@ با ما در میان بگذارید تا بررسی شود.

اطلاعیۀ برگزاری و ثبت نام "دهمین همایش سالیانه انجمن منطق ایران"

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندانِ منطق می‌رساند دهمین همایش سالیانۀ انجمن منطق ایران در چهار نوبت صبح و عصر در روزهای چهارشنبه و پنج‌شنبه، 3 و 4 اسفندماه 1401 به میزبانی دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد. لازم به ذکر است همایش به صورت ترکیبی حضوری-مجازی خواهد بود (روز اول حضوری و روز دوم مجازی).
در ضمن، عصر روز اول، مجمع عمومی انجمن برگزار خواهد شد.

شما می‌توانید با تکمیل فرم اینترنتی ثبت نام به آدرس زیر، در همایش ثبت‌نام کنید:

*. فرم ثبت نام (با توجه به پایان مهلت ثبت نام، غیرفعال شد.)
(آخرین مهلت ثبت نام: 30 بهمن 1401)

برای آگاهی از اطلاعات جدید درباره همایش لطفاً به سایت انجمن منطق ایران https://ialogic.ir مراجعه کنید و سؤالات خود را با ما از طریق ایمیل [email protected] در میان بگذارید.

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

The 10th Annual Conference of the Iranian Logic Association

The 10th annual conference of the Iranian Association for Logic will be held in cooperation with Amirkabir University of Technology (Faculty of Mathematics) at February 22-23, 2023. The first day of the conference (Wednesday) will be face-to-face and the second day (Thursday) will be online.

Invited Speakers:
Matthias Baaz (Vienna University of Technology)
Vasco Brattka (University of Munich)
Raheleh Jalali (Utrecht University)
Mohammad Ali Hojjati (Tarbiat Modares University)
Lotfollah Nabavi (Tarbiat Modares University)
Ralf Schindler (University of Münster)

More details about the Conference, containing the program of lectures, the location and the link will be announced this week through the website.

You can register ΗΕRE (Disabled 2/20/2023).
Registration deadline: February 19, 2023

The Registration deadline is February 19, 2023.


Thanks
Conference Committee of Iranian Association for Logic