✅ ثبت‌نام کارگاه دو روزه‌ی «معناشناسی صفت‌ها و قیدها» (۴ جلسه- حضوری)
مدرس: ساجد طیبی

✅ هزینه‌ی ثبت‌نام: ۲۰۰ هزار تومان

🔹زمان: چهارشنبه و پنجشنبه ۲۸ و ۲۹ مرداد ۱۴۰۵ از ساعت ۱۵:۰۰ الی ۱۹:۳۰.
🔹مکان: پژوهشگاه دانش‌های بنیادی، ساختمان نیاوران.


ثبت‌نام از طریق لینک: https://docs.google.com/forms/d/e/1FAIpQLScIdPCnHK5FrgtrWgdIYmoKodiNlcNho5-AvksAKyalCLnj_Q/viewform?usp=header

لطفاً پس از ثبت‌نام از طریق لینک فوق،‌ هزینه‌ی ثبت‌نام را از طریق درگاه پرداخت پژوهشگاه دانش‌های بنیادی: (https://payment.ipm.ir/portal/payment.php) پرداخت نمایید.
توضیح: در صفحه‌ی پرداخت «واحد» را «پژوهشکده‌ی فلسفه» انتخاب کنید و در قسمت نام رویداد عبارت «کارگاه معناشناسی» را بنویسید.

✅ تصویر رسید پرداخت را به آی‌دی https://t.me/sadjedtayebi در تلگرام ارسال کنید تا لینک عضویت در گروه تلگرام کارگاه برایتان ارسال شود.

زمان جدید برگزاری سیزدهمين همايش ساليانه انجمن منطق ايران اعلام شد.

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

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

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

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

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

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

نگاهی اجمالی بر کتاب الحاد جدید در ایران:

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

🔹 حضور در این جلسه برای عموم علاقمندان میسر است.
🔹جهت حضور در نشست، ارسال مشخصات توسط متقاضیان خارج از دانشگاه شریف به ایمیل library@sharif.ir، تاشنبه 20 تیرماه، ضروريست.