سمینار دو روزه
منطق رياضي و كاربردهاي آن
2 و 3 خرداد ماه 1403
پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی
-----------------
گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دو روزه‌اي در اين زمينه برگزار نمايد.
پوستر، لیست سخنرانان مدعو و برنامه‌ی سخنرانی‌ها متعاقباً از طریق سایت انجمن منطق ایران و پژوهشگاه دانش‌های بنیادی منتشر خواهد شد.
👇👇👇
منطق رياضي و كاربردهاي آن
2 و 3 خرداد ماه 1403
پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی
-----------------
گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دو روزه‌اي در اين زمينه برگزار نمايد.
پوستر، لیست سخنرانان مدعو و برنامه‌ی سخنرانی‌ها متعاقباً از طریق سایت انجمن منطق ایران و پژوهشگاه دانش‌های بنیادی منتشر خواهد شد.
👇👇👇
https://math.ipm.ac.ir
👏5👍2
📌
📣📣📣
✳️ #دوره‌ی_آموزشی مشترک گروه منطق IPM (شعبه‌ی اصفهان) و انجمن منطق ایران:
🎓 عنوان کلی دوره: آشنایی با منطق ریاضی، فلسفی و محاسباتی
عنوان جزئی دوره: دوره ششم / فلسفه ریاضیات
🔶 مدرّس: محمد معارفی (فارع‌التحصیل IUSS پاویا / ایتالیا)
📎 تعداد جلسات: 3 جلسه (6، 13 و 20 اردیبهشت 1403 - ساعت 14 الی 16)
✳️ نحوه‌ی برگزاری: حضوری - مجازی
🔗 لینک مجازی: https://www.tgoop.com/ialogicdiscussions/177
✉️ ایمیل ثبت‌نام: [email protected]
مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات
📣📣📣
✳️ #دوره‌ی_آموزشی مشترک گروه منطق IPM (شعبه‌ی اصفهان) و انجمن منطق ایران:
🎓 عنوان کلی دوره: آشنایی با منطق ریاضی، فلسفی و محاسباتی
عنوان جزئی دوره: دوره ششم / فلسفه ریاضیات
🔶 مدرّس: محمد معارفی (فارع‌التحصیل IUSS پاویا / ایتالیا)
📎 تعداد جلسات: 3 جلسه (6، 13 و 20 اردیبهشت 1403 - ساعت 14 الی 16)
✳️ نحوه‌ی برگزاری: حضوری - مجازی
🔗 لینک مجازی: https://www.tgoop.com/ialogicdiscussions/177
✉️ ایمیل ثبت‌نام: [email protected]
مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات
👍3👌1
انجمن علمی ریاضی دانشگاه قم
با همکاری انجمن علمی هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:
" نقش و جایگاه منطق در هوش مصنوعی "
مدرس :
👨🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران
زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳
🏢مکان : سالن یاس
‼️ویژه خواهران
📣 توجه :
< شرکت برای عموم رایگان می‌باشد >
🔗لینک ثبت نام
@iranlogic
ℵ @math_qom
با همکاری انجمن علمی هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:
" نقش و جایگاه منطق در هوش مصنوعی "
مدرس :
👨🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران
زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳
🏢مکان : سالن یاس
‼️ویژه خواهران
📣 توجه :
< شرکت برای عموم رایگان می‌باشد >
🔗لینک ثبت نام
@iranlogic
ℵ @math_qom
👎5👍3👏2👌1
انجمن منطق ایران
سمینار دو روزه منطق رياضي و كاربردهاي آن 2 و 3 خرداد ماه 1403 پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی ----------------- گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و…
📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن
✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 2 و 3 خرداد 1403 (صبح و عصر) برگزار خواهد شد.
📌فرم ثبت‌نام: کلیک کنید.
🗓 مهلت ثبت نام: 30 اردیبهشت ماه 1403
✉️ [email protected]
🌐
🌐 https://ialogic.ir
✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 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
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
Cassyni
Cassyni | Science starts with a seminar
Seamlessly organise, run and publish academic research seminars. Get started in minutes.
👍2
انجمن منطق ایران
📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن ✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران…
سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن، به چهارشنبه و پنج‌شنبه آینده، 9 و 10 خرداد موکول شد.
🙏6
انجمن منطق ایران
📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن ✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران…
برای مشاهده‌ی گالری تصاویر سمینار دو روزه منطق رياضي و کاربردهای آن، بر روی لینک زیر کلیک کنید:
گالری تصاویر
@iranlogic
گالری تصاویر
@iranlogic
👍8
Logica Universalis Webinars
Title: The Oppositions of Categorical Propositions In Avicenna’s Frame
Speaker: Saloua Chatti
Time: Wednesday, Khordad 30, 5:30 PM (Iran Local Time)
Permalink
Title: The Oppositions of Categorical Propositions In Avicenna’s Frame
Speaker: Saloua Chatti
Time: Wednesday, Khordad 30, 5:30 PM (Iran Local Time)
Permalink
Cassyni
The Oppositions of Categorical Propositions In Avicenna’s Frame - presented by Saloua Chatti
The aim of this paper is to analyse categorical propositions and their oppositional relations in Avicenna’s frame. For Avicenna’s express...
انجمن منطق ایران
Photo
سخنرانی امروز
👇👇👇
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 4 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹
عنوان: تصمیم‌پذیری و اعداد طبیعی
سخنران: محسن خانی (دانشگاه صنعتی اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی خانه حکمت اصفهان برگزار می‌شود.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
————————————————
@IranLogic
👇👇👇
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 4 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹
عنوان: تصمیم‌پذیری و اعداد طبیعی
سخنران: محسن خانی (دانشگاه صنعتی اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی خانه حکمت اصفهان برگزار می‌شود.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
————————————————
@IranLogic
www.skyroom.online
Conferencing App
WebRTC Powered Conferencing App
👍2
📎 سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 18 تیر ۱۴۰۳ /ساعت ۱۷ الی ۱۹ (ساعت ۱۶ الی ۱۸)
عنوان: منطق‌های توجیه تکلیف: راهی برای حل تعارضات و پارادوکس‌های اخلاقی با استفاده از دلایل هنجاری
سخنران: مقداد قاری (دانشگاه اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی پژوهشگاه دانش‌های بنیادی (شعبه اصفهان) برگزار خواهد شد.
آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول
پیوند سخنرانی برخط (آنلاین): 🔗 https://meet.google.com/uqh-veir-jxa
————————————————
@IranLogic
تاریخ: دوشنبه 18 تیر ۱۴۰۳ /
عنوان: منطق‌های توجیه تکلیف: راهی برای حل تعارضات و پارادوکس‌های اخلاقی با استفاده از دلایل هنجاری
سخنران: مقداد قاری (دانشگاه اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی پژوهشگاه دانش‌های بنیادی (شعبه اصفهان) برگزار خواهد شد.
آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول
پیوند سخنرانی برخط (آنلاین): 🔗 https://meet.google.com/uqh-veir-jxa
————————————————
@IranLogic
👍8
انجمن منطق ایران
📎 سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: دوشنبه 18 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹ (ساعت ۱۶ الی ۱۸) عنوان: منطق‌های توجیه تکلیف: راهی برای حل تعارضات و پارادوکس‌های اخلاقی با استفاده از دلایل هنجاری سخنران: مقداد قاری (دانشگاه اصفهان) سخنرانی به صورت تلفیقی…
سخنرانی دکتر مقداد قاری فردا دوشنبه 18 تیر ۱۴۰۳، ساعت ۱۶ الی ۱۸ برگزار خواهد شد.
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
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
Cassyni
Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s) - presented by Dr Fabien Schang
The present paper wants to develop a formal semantics about a special class of formulas: quantifying statements, which are a kind of pred...
📌 فراخوان مقاله دوازدهمین همایش سالانه انجمن منطق ایران
انجمن منطق ایران دوازدهمین همایش سالانه‌ی خود را با همکاری دانشگاه اصفهان و خانه حکمت اصفهان در تاریخ ۴ و ۵ اسفند 1403 در دانشگاه اصفهان برگزار می‌کند.
حوزه‌های پژوهشی مرتبط عبارت‌اند از:
۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق / ۱۱. منطق تطبیقی.
از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را مطابق شیوه‌نامه به آدرس زیر ایمیل کنند:
[email protected]
مهلت ارسال خلاصه‌ی مقالات: ۳۰ آذر 1403
شیوه نامه تهیه و تنظیم مقالات
برای راهنمایی و پاسخ‍گویی به سوالات مرتبط با همایش و همچنین ارايه پیشنهادات و نظرات، راه ارتباطی زیر در دسترس است:
[email protected]
https://ialogic.ir
با سپاس
کمیته اجرایی همایش انجمن منطق ایران
انجمن منطق ایران دوازدهمین همایش سالانه‌ی خود را با همکاری دانشگاه اصفهان و خانه حکمت اصفهان در تاریخ ۴ و ۵ اسفند 1403 در دانشگاه اصفهان برگزار می‌کند.
حوزه‌های پژوهشی مرتبط عبارت‌اند از:
۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق / ۱۱. منطق تطبیقی.
از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را مطابق شیوه‌نامه به آدرس زیر ایمیل کنند:
[email protected]
مهلت ارسال خلاصه‌ی مقالات: ۳۰ آذر 1403
شیوه نامه تهیه و تنظیم مقالات
برای راهنمایی و پاسخ‍گویی به سوالات مرتبط با همایش و همچنین ارايه پیشنهادات و نظرات، راه ارتباطی زیر در دسترس است:
[email protected]
https://ialogic.ir
با سپاس
کمیته اجرایی همایش انجمن منطق ایران
👍2
Logica Universalis Webinars
Title: The Logic of God: A Pluralistic Representational Theory of Concepts
Speaker: Ricardo Sousa Silvestre
Time: Wednesday, Mordad 3, 5:30 PM (Iran Local Time)
Permalink
Title: The Logic of God: A Pluralistic Representational Theory of Concepts
Speaker: Ricardo Sousa Silvestre
Time: Wednesday, Mordad 3, 5:30 PM (Iran Local Time)
Permalink
Cassyni
Cassyni | Science starts with a seminar
Seamlessly organise, run and publish academic research seminars. Get started in minutes.
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: چهارشنبه 7 شهریور 1403، ساعت 16 الی 18
(تاریخ سخنرانی به درخواست سخنران و به دلیلی تعطیلی مؤسسات و دانشگاه‌ها جابجا شد.)
عنوان: ویژگی موضعاً جدولی در منطق ربط
سخنران: امیر حسین شرفی (دانشگاه تفرش)
سخنرانی به صورت مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه ایران برگزار خواهد شد.
لازم به ذکر است در صورت فراهم شدن شرایط از طرف میزبان، رویداد به صورت حضوری هم برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
————————————————
@IranLogic
تاریخ: چهارشنبه 7 شهریور 1403، ساعت 16 الی 18
(تاریخ سخنرانی به درخواست سخنران و به دلیلی تعطیلی مؤسسات و دانشگاه‌ها جابجا شد.)
عنوان: ویژگی موضعاً جدولی در منطق ربط
سخنران: امیر حسین شرفی (دانشگاه تفرش)
سخنرانی به صورت مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه ایران برگزار خواهد شد.
لازم به ذکر است در صورت فراهم شدن شرایط از طرف میزبان، رویداد به صورت حضوری هم برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
————————————————
@IranLogic
👍3
Logica Universalis Webinars
Title: Smurfing the Square of Opposition
Speaker: Alessio Moretti and Jean-Yves Beziau
Time: Wednesday, Mordad 31, 5:30 PM (Iran Local Time)
Permalink
Title: Smurfing the Square of Opposition
Speaker: Alessio Moretti and Jean-Yves Beziau
Time: Wednesday, Mordad 31, 5:30 PM (Iran Local Time)
Permalink
Cassyni
Smurfing the Square of Opposition - presented by Prof Alessio Moretti and Prof. Jean-Yves Beziau PhD
This session is about the Special Issue of Logica Universalis (vol 18, nos 1-2, 2024) dedicated to the 7th World Congress on the Square ...
انجمن منطق ایران
سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: چهارشنبه 7 شهریور 1403، ساعت 16 الی 18 (تاریخ سخنرانی به درخواست سخنران و به دلیلی تعطیلی مؤسسات و دانشگاه‌ها جابجا شد.) عنوان: ویژگی موضعاً جدولی در منطق ربط سخنران: امیر حسین شرفی (دانشگاه تفرش) سخنرانی به صورت…
📌 #یادآوری سخنرانی امروز
👇👇👇
ساعت 16 الی 18
عنوان: ویژگی موضعاً جدولی در منطق ربط
سخنران: امیر حسین شرفی (دانشگاه تفرش)
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
👇👇👇
ساعت 16 الی 18
عنوان: ویژگی موضعاً جدولی در منطق ربط
سخنران: امیر حسین شرفی (دانشگاه تفرش)
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
www.skyroom.online
Conferencing App
WebRTC Powered Conferencing App
انجمن منطق ایران
📌 برنامه‌ی سخنرانی‌های انجمن منطق ایران در سال 1403 ——————————————————— ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی درج و اطلاع‌رسانی خواهد شد.
🛑 📎 سخنرانی سرکار خانم «دکتر پروین صفری» تحت عنوان «زیرمدول‌های مقدماتی فازی شهودی» که مطابق جدول اعلامی بنا بود دوشنبه ۲۶ شهریورماه ۱۴۰۳ برگزار شود، به درخواست ایشان لغو گردید.