◆ دکتر محمد اردشیر بهرستاقی، استاد تمام دانشکدهٔ ریاضی دانشگاه صنعتی شریف و پژوهشگر برجستهٔ منطق و ریاضیات شهودگرا، یکی از نظریه‌پردازان برتر ایران در حوزهٔ منطق ریاضی و فلسفهٔ ریاضیات است. ایشان با بیش از چهار دهه فعالیت آکادمیک و پژوهشی، توجهات خود را به تبیین و تعمیق درکِ منطق کلاسیک و شهودگرایانهٔ ریاضیات معطوف کرده‌اند.
دکتر اردشیر تحصیلات خود را در دانشگاه صنعتی شریف آغاز کرد و در سال ۱۳۵۹ مقطع کارشناسی برق و در سال ۱۳۶۹ کارشناسی ارشد ریاضیات را از این دانشگاه دریافت کرد. در سال ۱۳۷۴ دکترای ریاضی را از دانشگاه مارکت در ایالت ویسکانسین دریافت نمود.

دکتر اردشیر نویسندهٔ کتاب «منطق ریاضی» است که در سال ۱۳۸۴ به عنوان کتاب برگزیدهٔ سال در ایران انتخاب شد.
علاوه‌براین، ایشان ترجمهٔ کتاب «فلسفهٔ براوئر» را انجام داده‌اند که دربارهٔ فلسفه و مبانی مکتب شهودگرایی در ریاضیات است و در سال ۱۳۸۷ توسط انتشارات هرمس منتشر شد.

◈ انجمن علمی فلسفه علم شریف در روز سه‌شنبه ۲ دی، میزبان دکتر محمّد اردشیر می‌باشد.

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

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

✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مک‌فراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور

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

✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا

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

✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی

✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت

🎵صوت جلسه «مبانی فلسفی منطق شهودگرایانه»

🎤سخنران: دکتر محمد اردشیر

۱۴۰۴/۱۰/۰۲

◆ انجمن علمی فلسفه علم شریف

◆ رویداد «رابطه اخلاق و زیبایی شناسی»، دکتر زهرا سرکارپور به تاریخ ۱۶ دی ماه منتقل شد.

◈ اطلاعات جهت ثبت نام، هفته آینده در کانال قرار خواهد گرفت.

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◈ برنامه‌های هفته آینده انجمن علمی گروه فلسفه علم شریف:

◆ چهارشنبه ۱۰ دی: سخنرانی «آگوستینوس در بیان ویتگنشتاین»

◆ پنج‌شنبه ۱۱دی: رویداد «نظم مهندسی، فهم انسانی»

جهت مشاهده هر برنامه بر روی عنوان آن کلیک کنید.


◆ انجمن علمی فلسفه علم شریف

◆ چکیده سخنرانی دکتر حسین شقاقی

◈ عنوان: آگوستین در بیان ویتگنشتاین

◈ زمان: چهارشنبه 10 دی ماه ساعت 13:30

◈ مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◆ این برنامه با یک هفته تاخیر، در تاریخ ۱۷ دی ۱۴۰۴ برگزار خواهد شد.