انجمن منطق ایران
1.42K subscribers
157 photos
7 files
186 links
کانال رسمی تلگرام انجمن منطق ایران
وبسایت رسمی انجمن: https://ialogic.ir/
پیوند به این کانال: https://t.iss.one/IranLogic
پیوند به کانال واتساپ انجمن: https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY
Download Telegram
پیام انجمن منطق ایران به مناسبت درگذشت دکتر محمود بینای مطلق
 
با نهایت تأثر مطلع شدیم که جناب دکتر محمود بینای مطلق استاد برجسته ریاضیات، منطق ریاضی، فلسفه و منطق فلسفی کشوردر روز سه‌شنبه ۶ خرداد ۱۴۰۴ چشم از جهان فروبستند.
ایشان دکترای فلسفه خود را در سال ۱۳۴۸ از دانشگاه گوتینگن آلمان دریافت کردند و در دانشگاه لوزان سوئیس به تحصیل و تدریس در رشته ریاضیات پرداختند. پس از رجعت به ایران، از سال ۱۳۵۶ به عنوان هیئت علمی در دانشگاه صنعتی اصفهان مشغول به کار شدند و تا حدود دو سال پس از بازنشستگی در سال ۱۳۸۴ به تدریس در این دانشگاه ادامه دادند. ایشان دروس متعددی در حوزه ریاضیات و برای سالیان متمادی دو درس «فلسفه علم» و «تاریخ علم» را در این دانشگاه ارائه کردند. دروسی که تأثیری ماندگار بر نحوه نگرش بسیاری از دانشجویانی بر جای گذاشت که در حال حاضر بسیاری از آنها در دانشگاه‌‌ها و مؤسسات معتبر داخلی و بین‌المللی در زمینه‌های مختلف ریاضیات، مهندسی، منطق، فلسفه و هنر مشغول به فعالیت هستند. ایشان در طیف وسیعی از موضوعات از شاخه‌های مختلف ریاضیات محض تا فلسفه و هنر به راهنمایی پایان‌نامه‌های پژوهشی در دانشگاه‌ها و مؤسسات مختلف کشور مبادرت ورزیدند. از آثار مهم ایشان می‌توان به دو کتاب «نظم و راز» و «فلسفه علم در پرتو حکمت خالده» اشاره کرد که کتاب اخیر به زبان انگلیسی تألیف و سپس به زبان‌های فرانسه، اسپانیایی، پرتغالی فارسی نیز ترجمه و منتشر شد. از ویژگی‌های ایشان تسلط بر زبان­‌های آلمانی، فرانسه، انگلیسی و عربی و همچنین تسلط کافی برای مطالعه متون لاتین، یونانی و سانسکریت بود.

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

هیئت مدیره انجمن منطق ایران
 
لازم به یادآوری است که مراسم یادبود و بزرگداشتی در روز دوشنبه ۱۲ خرداد از ساعت ۱۷ الی ۱۹ در دانشگاه صنعتی اصفهان به یاد ایشان برگزار خواهد شد که به ارائه مطلب و سخنرانی اختصاص خواهد یافت. اطلاعات بیشتر در نشانی زیر که به همت دانشکده ریاضی دانشگاه صنعتی اصفهان تهیه شده است در دسترس است:
https://mathdept.iut.ac.ir/fa/Dr_Bina_Motlagh
🙏6👍1
📌 به اطلاع می‌رساند سخنرانی ماهیانه‌‌ی خرداد‌ماه ۱۴۰۴ انجمن برگزار نخواهد شد.
لیست سخنرانی‌های ماهیانه‌ی تیرماه تا اسفندماه ۱۴۰۴ به زودی در کانال منتشر خواهد شد.
🙏1
📌 برنامه‌ی سخنرانی‌های انجمن منطق ایران در بازه زمانی تیرماه تا اسفندماه 1404
———————————————————
ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی درج و اطلاع‌رسانی خواهد شد.

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

تاریخ: دوشنبه، ۳۰ تیر ۱۴۰۴، ساعت ۱۶ الی ۱۸

عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی

سخنران: محمد هادی سلیمانی (فارغ‌التحصیل دکترای منطق فلسفی / دانشگاه تربیت مدرس)

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

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

پیوند سخنرانی برخط (آنلاین):
https://www.skyroom.online/ch/irip/logic
————————————
@IranLogic
انجمن منطق ایران
سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: دوشنبه، ۳۰ تیر ۱۴۰۴، ساعت ۱۶ الی ۱۸ عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی سخنران: محمد هادی سلیمانی (فارغ‌التحصیل دکترای منطق فلسفی / دانشگاه تربیت مدرس) سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی…
🔴 یادآوری سخنرانی امروز ساعت ۱۶ الی ۱۸

عنوان: بسط منطق زالتا بر اشیاء معمولی انتزاعی

سخنران: محمد هادی سلیمانی (فارغ‌التحصیل دکترای منطق فلسفی / دانشگاه تربیت مدرس)

#حضوری_مجازی

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

پیوند سخنرانی برخط (آنلاین):
https://www.skyroom.online/ch/irip/logic
Logica Universalis Webinars
Title:
Logic and the Social World
Speaker: Rohit Parikh
Time: Wednesday, Mordad 22, 5:30 PM (Iran Local Time)
Permalink
انجمن منطق ایران
انجمن منطق ایران اولین جایزه سال منطق (جایزه ابن‌سینا) را در سال ۱۴۰۴ اهدا می‌کند. برگزیده این جایزه به عنوان نماینده ایران در سومین دوره جایزه بین‌المللی منطق که در هشتمين همايش جهانی و مدرسه منطق یونيورسال از ۴ تا ۱۴ دسامبر ۲۰۲۵ در پرو اهدا می‌شود، شرکت…
به اطلاع کلیه اعضای جامعه منطق ایران می‌رسانیم که با تصمیم هیات داوران اولین جایزه سال منطق ایران، هیچکدام از آثار ارسالی به دبیرخانه جایزه، واجد شرایط انتخاب به عنوان برنده مسابقه و دریافت جایزه ابن‌سینا قرار نگرفت، لذا ایران در سومین دوره جایزه جهانی منطق که در دسامبر ۲۰۲۵ در پرو برگزار می‌شود، نماینده‌ای نخواهد داشت.
به همت انجمن منطق ایران، عنوان جایزه ملی منطق ایران، مزین به نام منطق‌دان بزرگ ایرانی، ابن سینا، در سایت جایزه جهانی منطق ثبت و صفحه اختصاصی آن ایجاد شد. دوره چهارم جایزه جهانی منطق در سال ۲۰۲۸ برگزار خواهد شد.
https://www.uni-log.org/logic-prize-iran-2025
👏13👎2👌1
سخنرانی ماهیانه انجمن منطق ایران

متریک و منطق‌های چندارزشی
محمد امین خاتمی (دانشگاه صنعتی بیرجند)

چکیده
در منطق کلاسیک رابط منطقی «اگر و فقط اگر» اهمیت ویژه‌ای در تشکیل جبر لیندنبائوم متناظر با یک تئوری دارد. در واقع با رابط منطقی اگر و فقط اگر به نوعی یک فاصله بین گزاره‌ها تعریف می‌شود و گزاره‌هایی که فاصله آنها با هم صفر است در یک کلاس هم‌ارزی از جبر لیندنبائوم قرار می‌گیرند. در منطق‌های چندارزشیِ مبتنی بر t-نرم، نیز رابط منطقی اگر و فقط اگر ارتباط نزدیکی با مفهوم فاصله یا همان متریک دارد. در این سخنرانی ابتدا یکی از مناظر ارتباط بین رابط منطقی اگر و فقط اگر و متریک را توضیح می‌دهم. سپس با توجه به این موضوع خواهم گفت که یک متریک با چه خواصی می‌تواند یک منطق چندارزشی ارائه دهد.

تاریخ: دوشنبه، ۲۷ مرداد ۱۴۰۴، ساعت ۱۶ الی ۱۸
سخنرانی به صورت مجازی برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین)
https://meet.google.com/cpj-mhhf-kyc
👍7
فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران

سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.
از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش ([email protected]) ارسال نمايند.

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

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

زمان و مکان برگزاری همايش
۲۸ و ۲۹ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
👍11👏4👎1👌1
👏5👍3👎3
#poster

The 13th Annual Conference of the Iranian Association for Logic
👍10👎2🙏1👌1
سخنرانی ماهیانه انجمن منطق ایران

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

چکیده
به شکل ترادادی، توصیف سامانه‌های رایانشی بیشتر با بیان خواسته‌ها از نشان‌های اجرای سامانه‌ها که به ویژگی‌های نشان نیز شناخته می‌شوند، انجام شده است. برای این کار، پژوهشگران از منطق‌های زمانی مانند اِلتیاِل و سیتیاِل و نیز گسترش‌های آنها بسیار بهره برده و ویژگی‌های نشان را بیان کرده‌اند. همچنین، دانشوران روش‌های گوناگونی برای راستی‌آزمایی سامانه‌ها برای این ویژگی‌ها پیشنهاد داده‌اند. با وجود این، آنچه از سامانه‌ها خواسته می‌شود، همگی با بیان ویژگی‌های تک‌نشان‌ها شدنی نیست. خواسته‌هایی مانند چونی زاوَری و نیز خواسته‌های وابسته به امنیت، از این نمونه‌ها هستند. از این روی، گونه‌ای دیگر از ویژگی‌های سامانه‌ها پیشنهاد شده‌اند که به جای تک‌نشان‌ها خواسته‌ای از گردایۀ همۀ نشان‌های اجرای سامانه بیان می‌کنند. به این خواسته‌ها فراویژگی می‌گویند و برای بیان آنها فرامنطق‌های زمانی را پیشنهاد داده‌اند. در این گفتار، بر آنم که به فراویژگی‌ها و منطق فرااِلتیاِل که یکی از فرامنطق‌های زمانی است، بپردازم. همچنین، برخی شیوه‌های راستی‌آزمایی سامانه‌ها برای فراویژگی‌ها مانند راستی‌آزمایی زمان‌اجرا و تفسیر انتزاعی را برای این دست از خواسته‌ها بیان کرده و چالش‌ها را در هم‌سنجی با راستی‌آزمایی برای ویژگی‌ها به گفتگو بگذارم.

تاریخ: دوشنبه، ۳۱ شهریور ۱۴۰۴، ساعت ۱۶ الی ۱۸
سخنرانی به صورت حضوری و مجازی به ميزبانی دانشگاه امیرکبیر (تهران، خيابان حافظ، درب زير پل حافظ، دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر، گروه ریاضی محض، اتاق ۳۱۱) برگزار می‌شود.
پیوند سخنرانی برخط (آنلاین)
https://meet.google.com/cpj-mhhf-kyc
👍7🙏1
انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند:

🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی

⚡️مدرس:
👨‍💻 سید احمد میرصانعی
نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی

📚 سرفصل‌های کارگاه:
☑️ جایگاه منطق در هوش مصنوعی
☑️ منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs)
☑️ روش‌های محاسباتی الگوریتمیک منطقی
☑️ استنتاج‌گرهای منطقی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش
☑️ هوش مصنوعی نمادین (Symbolic AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین
☑️ کار با نرم‌افزار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ...
☑️ مسیرهای پژوهشی جدید


مدت زمان کارگاه: ۶ ساعته

📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲

📍 نحوه برگزاری: #حضوری_مجازی

💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران

🔗 ثبت‌نام:
https://mohit.online/event/3pnsqr
👌7👍5
📚 کتاب منطق سمرقندی توسط انتشارات مؤسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر شد.

💠 انجمن منطق ایران انتشار این اثر ارزشمند را به جناب آقای دکتر فلاحی تبریک عرض می‌نماید.

@iranlogic
👏8
انجمن منطق ایران pinned «فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود. از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰…»
Forwarded from Science and Religion (Beyond Reality)
🔺دوره‌ای دیگر در منطق ریاضی «Mathematical Logic» [تخصصی‌تر از ویدئوهای قبلی]، این بار در دانشگاه صنعتی اصفهان🔺
در این جلسات قضایای ناتمامیت و ناسازگاری کورت گودل نیز تشریح می‌شوند، از این جهت شاید برای علاقمندان به انواع گرایشات منطق، فلسفه ریاضی و متاریاضی نیز جالب باشد.

مدرس:👇👇
👤دکتر محسن خانی (لیسانس ریاضیات از دانشگاه صنعتی‌امیرکبیر پلی‌تکنیک تهران، فوق لیسانس ریاضی‌محض از دانشگاه صنعتی‌اصفهان، دکتری و فوق دکترا در دانشگاه آلبرت‌لُدویگ فرایبورگ آلمان و دانشگاه منچستر و آکسفورد انگلستان)
Researchgate, Esfahan University of Technology.

⬅️ سلسله جلسات منطق ریاضی دکتر خانی در آپارات:👇👇
https://www.aparat.com/v/hYcHi?playlist=295290

https://www.aparat.com/v/Jfr8v?playlist=1239765

دیگر کلاس‌های‌ فیلم‌برداری‌شده ایشان در حوزه‌های زیر موجود است:👇👇
ریاضی عمومی 1 و 2، توپولوژی، جبر، مبانی علوم ریاضی، نظریه گالوا، هندسه جبری حقیقی، نظریه مدل‌ها، درسهائی درباره‌ی مجموعه‌های شبه‌جبری و زیرتحلیلی، حذف سور در میدان‌های ارزیابی بستهٔ جبری، نظریه‌ی مجموعه‌های پیشرفته و امثالهم.


(پی‌نوشت: هایپرلینک کل جزوات و یادداشت‌های تمامیه کلاس‌های ایشان در قالب PDFهای تایپ‌شده، از جمله جزوات منطق ریاضی)


@ReligionandScience2021
🙏7👌2👏1
انجمن منطق ایران
انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند: 🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی ⚡️مدرس: 👨‍💻 سید احمد میرصانعی نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی…
انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند:

🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی

⚡️مدرس:
👨‍💻 سید احمد میرصانعی
نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی

📚 سرفصل‌های کارگاه:
☑️ جایگاه منطق در هوش مصنوعی
☑️ منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs)
☑️ روش‌های محاسباتی الگوریتمیک منطقی
☑️ استنتاج‌گرهای منطقی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش
☑️ هوش مصنوعی نمادین (Symbolic AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین
☑️ کار با نرم‌افزار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ...
☑️ مسیرهای پژوهشی جدید

مدت زمان کارگاه: ۶ ساعته

📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲

📍 نحوه برگزاری: #حضوری_مجازی

💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران

🔗 ثبت‌نام:
https://mohit.online/event/3pnsqr
👍4