انجمن منطق ایران
1.39K subscribers
153 photos
7 files
181 links
کانال رسمی تلگرام انجمن منطق ایران
وبسایت رسمی انجمن: https://ialogic.ir/
پیوند به این کانال: https://t.iss.one/IranLogic
پیوند به کانال واتساپ انجمن: https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY
Download Telegram
انجمن منطق ایران
📌 لیست سخنرانی‌های ماهیانه انجمن منطق ایران در سال 1402 ——————————————————— ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی اعلام خواهد شد.
🛑 📎 سخنرانی سرکار خانم «دکتر فاطمه شیرمحمدزاده ملکی» تحت عنوان «منطق‌های زیرشهودی و همتاهای وجهی آن‌ها» که مطابق جدول اعلامی بنا بود دوشنبه 21 اسفندماه ماه 1402 برگزار شود، به درخواست ایشان لغو گردید.
برای عضویت ساليانه در انجمن منطق ایران از طريق اين فرم اقدام نماييد. 

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

بنا بر تصميم هيات مديره، منطق‌دوستان عزیز می‌توانند تا قبل از تصویب حق عضویت سال ۱۴۰۳، با واریز دو برابر حق عضویت سال ۱۴۰۲، همزمان برای عضویت پیوسته سال ۱۴۰۳ نیز اقدام نمایند. عزیزانی که اقدام به عضویت دوسالانه می‌کنند، حتما در فیش واریزی خود این موضوع را ذکر کنند (لطفا درج شود حق عضویت مربوط به سال‌های ۱۴۰۲ و ۱۴۰۳).
ضمناً، شرایط برای عضويت حقوقی انجمن‌های دانشجويی در انجمن منطق ايران فراهم شده است و با اين عضويت، اعضای مرتبط اين انجمن‌ها می توانند از تخفيف ۵۰درصدی برای عضويت ساليانه در انجمن منطق ايران بهره‌مند شوند.
 
حق عضویت پيوسته سال ۱۴۰۲ برای اعضای هیأت‌علمی: ۲۵۰.۰۰۰تومان
حق عضویت پيوسته سال ۱۴۰۲ برای غير اعضای هيات علمی: ۱۵۰.۰۰۰تومان
حق عضویت وابسته سال ۱۴۰۲: حداقل ۵۰۰.۰۰۰تومان
هزینه‌ صدور و ارسال کارت عضویت: براساس قيمت روز
👎4👍1👌1
فرا رسیدن #نوروز باستانی و آغاز سال 1403 را به شما همراهان عزیز و علاقمندان منطق تبریک و تهنیت می‌گوییم.

با آرزوی سالی سرشار از سلامتی و کامیابی؛
انجمن منطق ایران
🙏13
📌 برنامه‌ی سخنرانی‌های انجمن منطق ایران در سال 1403
———————————————————
ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی درج و اطلاع‌رسانی خواهد شد.
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 27 فروردین 1403، ساعت 16 الی 18

عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس

سخنران
: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne)

سخنرانی به صورت مجازی و به میزبانی گروه ریاضی دانشگاه قم برگزار خواهد شد.

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

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

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

@IranLogic
👍4
سمینار دو روزه
منطق رياضي و كاربردهاي آن


2 و 3 خرداد ماه 1403

پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی

-----------------
گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دو روزه‌اي در اين زمينه برگزار نمايد.

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

👇👇👇
https://math.ipm.ac.ir
👏5👍2
📌
📣📣📣

✳️ #دوره‌ی_آموزشی مشترک گروه منطق IPM (شعبه‌ی اصفهان) و انجمن منطق ایران:

🎓 عنوان کلی دوره: آشنایی با منطق ریاضی، فلسفی و محاسباتی
عنوان جزئی دوره: دوره ششم / فلسفه ریاضیات
🔶 مدرّس: محمد معارفی
(فارع‌التحصیل IUSS پاویا / ایتالیا)
📎 تعداد جلسات: 3 جلسه (6، 13 و 20 اردیبهشت 1403 - ساعت 14 الی 16)

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

🔗 لینک مجازی: https://t.iss.one/ialogicdiscussions/177

✉️ ایمیل ثبت‌نام: [email protected]

مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات
👍3👌1
انجمن علمی ریاضی دانشگاه قم
با همکاری انجمن علمی‌ هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:

" نقش و جایگاه منطق در هوش مصنوعی "

مدرس :
👨‍🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران

زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳

🏢مکان : سالن یاس

‼️ویژه خواهران

📣 توجه :
< شرکت برای عموم رایگان می‌باشد >

🔗لینک ثبت نام

@iranlogic
@math_qom
👎5👍3👏2👌1
انجمن منطق ایران
سمینار دو روزه منطق رياضي و كاربردهاي آن 2 و 3 خرداد ماه 1403 پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی ----------------- گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و…
📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن

✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 2 و 3 خرداد 1403 (صبح و عصر) برگزار خواهد شد.

📌فرم ثبت‌نام: کلیک کنید.
🗓 مهلت ثبت نام: 30 اردیبهشت ماه 1403

✉️ [email protected]

🌐
https://math.ipm.ac.ir


🌐 https://ialogic.ir
👍8👌3
Logica Universalis Webinars
Title:
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil
Speaker: Takaharu Oda
Time: Wednesday, Ordibehesht 26, 5:30 PM (Iran Local Time)
Permalink: cassyni.com/events/VcbUL4JvbUgedoJqAeaRQH
👍2
انجمن منطق ایران
Photo
سخنرانی امروز
👇👇👇
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 4 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹

عنوان: تصمیم‌پذیری و اعداد طبیعی

سخنران
: محسن خانی (دانشگاه صنعتی اصفهان)

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

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

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

@IranLogic
👍2
📎 سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 18 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹ (ساعت ۱۶ الی ۱۸)

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

سخنران
: مقداد قاری (دانشگاه اصفهان)

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

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول

پیوند سخنرانی برخط (آنلاین): 🔗 https://meet.google.com/uqh-veir-jxa

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

@IranLogic
👍8
Logica Universalis Webinars
Title:
Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)
Speaker: Fabien Schang
Time: Wednesday, Tir 20, 5:30 PM (Iran Local Time)
Permalink
📌 فراخوان مقاله دوازدهمین همایش سالانه انجمن منطق ایران

انجمن منطق ایران دوازدهمین همایش سالانه‌ی خود را با همکاری دانشگاه اصفهان و خانه حکمت اصفهان در تاریخ ۴ و ۵ اسفند 1403 در دانشگاه اصفهان برگزار می‌کند.

حوزه‌های پژوهشی مرتبط عبارت‌اند از:

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق / ۱۱. منطق تطبیقی.

از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را مطابق شیوه‌نامه به آدرس زیر ایمیل کنند:

[email protected]

مهلت ارسال خلاصه‌ی مقالات: ۳۰ آذر 1403
شیوه نامه تهیه و تنظیم مقالات

برای راهنمایی و پاسخ‍گویی به سوالات مرتبط با همایش و همچنین ارايه پیشنهادات و نظرات، راه‌ ارتباطی زیر در دسترس است:
[email protected]
https://ialogic.ir
با سپاس
کمیته اجرایی همایش انجمن منطق ایران
👍2