👇👇👇

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

به گزارش خبرنگار مهر، یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) با حضور اساتید و دانشجویان این رشته در مؤسسه پژوهشی حکمت و فلسفه آغاز به کار کرد.

دبیری پنل اول به عهده حسین معصومی همدانی استاد فلسفه علم مؤسسه پژوهشی حکمت و فلسفه بود.

اولین سخنران این همایش در روز اول محمد اردشیر، استاد ریاضی دانشگاه صنعتی شریف بود که سخنرانی خود را با موضوع «ملاحظاتی در حساب پایه» ارائه داد.

اردشیر گفت: اصطلاح «منطق پایه یا basic logic» از حدود ۲۷-۲۸ سال پیش در ایران مطرح شد و من از همان زمان کار کردن روی این موضوع را آغاز کردم و به آن علاقمند شدم. البته پیش از این آلبرت ویزر در سال ۱۹۸۱ اصطلاح basic propositional logic را مطرح کرده و قصد داشت که منطق پایه را توسعه دهد.

وی افزود: من و روتنبرگ که از همکاران من در این پروژه است معتقدیم که منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است و در نهایت به این ایده رسیدیم که ریاضیات منطق پایه را ساخته است.

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

نویسنده «کتاب منطق ریاضی در ایران» در ادامه سخنرانی‌اش به تفاوت میان منطق شهودگرایانه و منطق کلاسیک پرداخت و گفت: خوشبختانه درباره منطق پایه کارهای زیادی انجام شده اما درباره ریاضیاتش خیلی کم کار شده است.

این استاد منطق در پایان درباره تئوری حسابی، تعریف تابع در تئوری‌ها و جملات geometric سخن گفت و بحث خود را تمام کرد.
...



کد خبر 6026790

📌 برنامه سخنرانی‌های روز دوم یازدهمین همایش سالیانه‌ی انجمن منطق ایران
یک‌شنبه ۲۹ بهمن ۱۴۰۲
تهران، مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران

#یادآوری سخنرانی امروز

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

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

عنوان:
Reason, Belief and Inference

سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))

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

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

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

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

برگزار شد.

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

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

انجمن منطق ایران از سری دوره‌های آموزش بنیادی منطق با همکاری حلقه منطق برگزار می‌کند:
کارگاه خوانش کتاب
مقدمه‌ای بر منطق اثر ایروینگ کپی
https://mohit.online/event/f76bcv
این دوره فقط به صورت حضوری برگزار می‌شود. فایل صوتی هر جلسه پس از برگزاری در صفحه رویداد در سامانه محیط اسکای روم در دسترس خواهد بود.

🛑 📎 سخنرانی سرکار خانم «دکتر فاطمه شیرمحمدزاده ملکی» تحت عنوان «منطق‌های زیرشهودی و همتاهای وجهی آن‌ها» که مطابق جدول اعلامی بنا بود دوشنبه 21 اسفندماه ماه 1402 برگزار شود، به درخواست ایشان لغو گردید.

برای عضویت ساليانه در انجمن منطق ایران از طريق اين فرم اقدام نماييد. 

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

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

فرا رسیدن #نوروز باستانی و آغاز سال 1403 را به شما همراهان عزیز و علاقمندان منطق تبریک و تهنیت می‌گوییم.

با آرزوی سالی سرشار از سلامتی و کامیابی؛
انجمن منطق ایران

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

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

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

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

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

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

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

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

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

@IranLogic

یادآوری برگزاری سخنرانی امروز (تا دقایقی دیگر) ...

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

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

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

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

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

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

👇👇👇

https://math.ipm.ac.ir

📌
📣📣📣

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

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

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

🔗 لینک مجازی: https://www.tgoop.com/ialogicdiscussions/177

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

مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات