انجمن منطق ایران

از تناقض تا تصمیم: کاربست منطق‌های فراسازگار در آینده‌پژوهی جواد بیگی (پژوهشگر مستقل) چکیده یکی از چالش‌های اساسی آینده‌پژوهی، مواجهه با شواهد و ارزیابی‌های متناقضی است که در عین برخورداری از اهمیت تحلیلی، در فرایندهای متعارف تصمیم‌گیری و سناریونویسی ممکن است به حذف داده‌ها، تقلیل پیچیدگی مسئله یا دشواری در ارزیابی سازگاری گزینه‌های آینده بینجامند. مسئله اصلی این است که چگونه می‌توان بدون حذف شواهد متعارض، از ظرفیت اطلاعاتی آنها برای تحلیل وضعیت‌های آینده و پشتیبانی از تصمیم‌گیری بهره گرفت؟ این سخنرانی با تمرکز بر منطق‌های فراسازگار، به‌ویژه منطق فراسازگار شواهدی مشروح (Eτ​)، رویکردی را برای پاسخ به این مسئله صورت‌بندی می‌کند که در آن تناقض نه مانعی اجتناب‌ناپذیر برای استدلال، بلکه وضعیتی قابل بازنمایی و تحلیل است. نوآوری کاربردی این رویکرد، انتقال منطق فراسازگار از سطح بحث‌های نظری درباره تناقض به سطح تحلیل عملی شواهد و پشتیبانی از تصمیم‌گیری در آینده‌پژوهی است. در این چارچوب، شواهد موافق و مخالف یک گزاره حفظ می‌شوند و با استفاده از مقادیر نشانه‌دار، وضعیت معرفتی گزاره از حیث تأیید، رد، تعارض شواهد و فقدان شواهد کافی بررسی می‌شود. بدین‌ترتیب، به‌جای تحمیل سازگاری بر داده‌ها از طریق حذف شواهد ناسازگار، می‌توان ساختار تناقض‌ها را آشکار کرد، شدت و الگوی تعارض شواهد را ارزیابی کرد و نتایج این ارزیابی را در مقایسه و صورت‌بندی سناریوهای آینده به کار گرفت. این قابلیت می‌تواند زمینه طراحی فرایندی را فراهم آورد که در آن تناقض‌های موجود در ارزیابی خبرگان، روندهای محیطی و پیشران‌های تغییر، پیش از تبدیل‌شدن به مبنای تصمیم، به‌صورت نظام‌مند بررسی شوند. تلاش می شود مبانی منطقی این رویکرد و ترسیم مسیر عملیاتی‌کردن آن در سناریونویسی آینده‌پژوهانه بیان شود؛ مسیری که در آن حفظ اطلاعات متعارض، تحلیل وضعیت معرفتی شواهد و پرهیز از استنتاج ناموجه از تناقض، می‌توانند به توسعه ابزارهای تحلیلی برای تصمیم‌گیری در شرایط پیچیده و نامطمئن کمک کنند. بدین‌سان، پیشنهاد اصلی این است که به‌جای تلاش برای حذف تناقض از فرایند آینده‌پژوهی، می‌توان آن را به موضوعی برای تحلیل منطقی و منبعی بالقوه برای غنی‌سازی سناریوها تبدیل کرد. تاریخ: دوشنبه، ۲۷ مهر ۱۴۰۵، ساعت ۱۶ الی ۱۷:۳۰ سخنرانی به صورت ترکیبی #حضوری_مجازی برگزار می‌شود. آدرس: تهران، خيابان حافظ، خیابان رشت، درب شمالی دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر، گروه ریاضی محض، اتاق ۳۱۱ پیوند سخنرانی برخط (آنلاین) https://meet.google.com/cpj-mhhf-kyc @IranLogic

اطلاع‌رسانی رويدادهای بين‌المللی سازمان‌های همکار انجمن منطق ايران Logica Universalis Webinars Title: What is a Conditional? Speaker: Gilberto Gomes Time: Wednesday, Oct 14 (Mehr 22), 17:30 (Iran Local Time)

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

مسأله‌ی تغییر و منطق LP کسری فارسیان (فارغ‌التحصیل دکتری منطق فلسفی دانشگاه تربیت مدرس) چکیده «اشیاء متعارف اطراف ما طِی زمان تغییر می‌کنند، اما همان شئ پیش از تغییر باقی می‌مانند». مثلا اگر سقراط موتور سیکلتش را به تعمیرگاه ببرد و لاستیک جلوی آن را تعویض کند، به‌نظر خیالش راحت است که موتوری که سوارش شده، همان موتور قبلی است یا حتا همان موتوری است که هفت سال پیش از آریستوفانس هدیه گرفته است. این مثال نشان می‌دهد که شهود معمول ما می‌پذیرد که اگر اشیاء جهان، بعضی از صفات‌-یا اجزاء-شان را از دست دهند یا با صفت-جزء-دیگری جایگزینش کنند، همچنان همان شئ قبل باقی می‌مانند. اما می‌توان پرسید واقعا چقدر از صفات یا اجزاء موتور سیکلت سقراط اگر تغییر یابد، ما همچنان می‌پذیریم که موتور او، همان موتور سابق است؟ تا یک درصد تغییر؟ نیمی از اجزاء یا مثلا یک چهارم آن؟ من در این سخنرانی تلاش می‌کنم با ارائه‌ی نسخه‌ای از پارادوکس خرمن که مرتبط به مسئله‌ی «تغییر و بقاء اشیاء مادی» در متافیزیک است، نشان دهم که منطق استاندارد (مرتبه اول با این‌همانی و مرتبه دوم) ما را مجبور به پذیرش توالی و نتایج ناخوشایندی می‌کند که ما حاضر به پذیرش‌شان نیستیم؛ از جمله‌ی آنان این‌که اگر تمام اجزاء موتور سیکلت سقراط عوض شود و تغییر یابد، همچنان بایستی بپذیریم موتور او همان موتور روز اول است. در بخش دوم اما، توضیح می‌دهم که چگونه می‌توان از پذیرش چنین نتایجی اجتناب کرد. این کار را با بازتفسیری از مسئله‌ی تغییر در متافیزیک و معرفی نسخه‌ای مرتبه دوم از LP انجام خواهم دارد، LP مرتبه دوم به‌عنوان یک منطق نا-استاندارد، امکاناتی در اختیار ما می‌گذارد تا پارادوکسِ خرمن دیگر معتبر نباشد-مهم‌ترینِ این امکانات، رفتار نا-استانداردِ این‌همانی است که کلید متوقف کردنِ پارادوکسِ موتور سیکلتِ سقراط است. تاریخ: دوشنبه، ۳۰ شهریور ۱۴۰۵، ساعت ۱۶ الی ۱۷:۳۰ سخنرانی به صورت ترکیبی #حضوری_مجازی برگزار می‌شود. آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴، مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران پیوند سخنرانی برخط (آنلاین) https://meet.google.com/cpj-mhhf-kyc @IranLogic

گوشه‌هایی از همایش سیزدهم انجمن منطق ایران

عکس جمعی همایش سیزدهم انجمن منطق ایران

سخنرانی‌های حضوری همایش به پایان رسید. برنامه سخنرانی‌های مجازی از ساعت ۹:۳۰ صبح روز یکشنبه ۲۲ شهریور آغاز خواهد شد. لینک حضور مجازی در روز دوم همایش https://meetingvc.iust.ac.ir/ialogic

اطلاعیه حضور مجازی در سیزدهمین همایش سالیانه انجمن منطق ایران

همه علاقمندان به منطق می‌توانند از طریق لینک زیر به صورت مجازی از سخنرانی‌های همایش بهره‌مند شوند. https://meetingvc.iust.ac.ir/ialogic برای حضور به عنوان مهمان نیازی به یوزر و پسورد نیست و برای همه آزاد است. با تشکر کمیته اجرایی همایش

از شرکت‌کنندگان محترم در سیزدهمین همایش سالیانه انجمن منطق تقاضا داریم که به تغییر مکان برگزاری همایش توجه داشته باشند. مکان جدید برگزاری، شعبه فرمانیه پژوهشگاه دانش‌های بنیادی است (لطفا دقت بفرمایید که شعبه نیاوران نیست). آدرس محل برگزاری: خیابان فرمانیه، بعد از برج کوه نور، جنب کوچه محمد فربین، پردیس فرمانیه IPM، طبقه اول، سالن کنفرانس لوکیشن در نشان: https://nshn.ir/rbv1ltGxRHQG

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

سیزدهمین همایش سالانه انجمن منطق ایران در روزهای شنبه و یکشنبه مورخ ۲۱ و ۲۲ شهریور ۱۴۰۵ به میزبانی پژوهشگاه دانش‌های بنیادی (شعبه فرمانیه) برگزار می‌گردد. با تصمیم کمیته اجرایی، روز اول همایش به صورت حضوری و روز دوم به صورت مجازی برگزار می‌شود. ارایه‌های این دوره همچون دوره قبل در دو شکل سخنرانی و پوستر ویدیویی خواهد بود. سخنرانی‌ها در دو بخش عادی (منطق فلسفی و ریاضی) و ویژه (هوش مصنوعی) به صورت حضوری و مجازی طی دو روز ارایه خواهند شد و خلاصه سخنرانی‌ها در کتابچه خلاصه مقالات همایش منتشر شده و در اختیار علاقمندان قرار می‌گیرد. پوسترهای ویدیویی از طریق کانال‌های مجازی انجمن منطق منتشر شده و در دسترس خواهند بود. با تشکر کمیته اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران

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

انجمن منطق ایران بدین وسیله به اطلاع می‌رساند که همکاری این انجمن با دانشگاه علم و صنعت ایران برای مشارکت در برگزاری سیزدهمین همایش منطق ایران به دلیل بدعهدی و مسئولیت‌ناپذیری این دانشگاه در انجام امور مربوط به میزبانی ملغی شد و دانشگاه علم و صنعت ایران نقشی در برگزاری همایش سالیانه انجمن منطق ایران ندارد. با تصمیم «کمیته رویدادها و همایش» انجمن منطق، دبیر علمی همایش که از طرف دانشگاه معرفی شده بود از این سمت عزل شد و خانم دکتر نازنین روشندل توانا تنها دبیر علمی همایش هستند. این کمیته بر خود واجب می‌داند که از زحمات دبیر اجرایی همایش، جناب آقای دکتر ابراهیم اردشیر لاریجانی که در کوتاه‌ترین زمان ممکن نسبت به هماهنگی محل برگزاری جدید (پژوهشگاه دانش‌های بنیادی، شعبه فرمانیه) و جذب حمایت مالی جدید اقدام نمودند، تقدیر نماید. شایان ذکر است که برگزاری همایش که با تصمیمات غیرمتعهدانه و خلق‌الساعه دانشگاه علم و صنعت در هاله‌ای از ابهام قرار گرفته بود، صرفا با تلاش بی‌وقفه و بی‌دریغ «کمیته رویدادها و همایش» انجمن و همکاری موثر دانشجویان فعال عضو انجمن میسر شد. این اتفاق ناخوشایند که در تاریخچه برگزاری همایش‌های انجمن بی‌سابقه بوده است، قطعا موجب اتخاذ تصمیمات سختگیرانه‌تر در انتخاب میزبانان بعدی خواهد شد و همچنین ارزش تعهد و مسئولیت‌پذیری میزبانان قبلی رویدادهای انجمن را بر جامعه منطق ایران آشکار می‌سازد. رئیس هیات مدیره انجمن منطق ایران حامد باستین

آخرین فراخوان ثبت نام

به اطلاع کلیه علاقمندان و پژوهشگران حوزه منطق می‌رسانیم که روز یکشنبه ۱۵ شهریور آخرین مهلت ثبت‌نام برای شرکت حضوری در سیزدهمین همایش سالیانه انجمن منطق ایران است و این فرصت به هیچ عنوان قابل تمدید نیست. از همه افرادی که علاقمند به مشارکت هستند دعوت می‌نماییم که تا ساعت ۱۲ شب روز یکشنبه نسبت به ثبت نام اقدام نمایند. ذکر این نکته ضروری است که ملاک تایید ثبت نام، پرداخت وجه ثبت نام است که باید حتما تا پایان مهلت ثبت نام پرداخت و تصویر فیش واریزی ارسال شده باشد. ضمنا، عدم نیاز به پرداخت وجه ثبت نام برای سخنرانان، فقط یک نفر از مجموع نویسندگان مقاله را شامل می‌شود و سایر نویسندگان در صورت شرکت حضوری باید وجه ثبت نام را پرداخت نمایند. کمیته اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران

برنامه کامل سخنرانی‌های سیزدهمین همایش سالانه انجمن منطق ایران @IranLogic

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

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

سیزدهمین همایش سالانه انجمن منطق ایران که به دلیل شرایط جنگی کشور به تعویق افتاده بود در روزهای شنبه و یکشنبه مورخ ۲۱ و ۲۲ شهریور ۱۴۰۵ به میزبانی حضوری و مجازی پژوهشگاه دانش‌های بنیادی (شعبه فرمانیه) برگزار می‌گردد. با تصمیم کمیته اجرایی، روز اول همایش به صورت حضوری و روز دوم به صورت مجازی برگزار می‌شود. ارایه‌های این دوره همچون دوره قبل در دو شکل سخنرانی و پوستر ویدیویی خواهد بود. سخنرانی‌ها در دو بخش عادی (منطق فلسفی و ریاضی) و ویژه (هوش مصنوعی) به صورت حضوری و مجازی طی دو روز ارایه خواهند شد و خلاصه سخنرانی‌ها در کتابچه خلاصه مقالات همایش منتشر شده و در اختیار علاقمندان قرار می‌گیرد. پوسترهای ویدیویی از طریق کانال‌های مجازی انجمن منطق منتشر شده و در دسترس خواهند بود. علاقمندان به حضور در همایش (سخنرانان و شرکت‌کنندگان) لازم است از طریق این لینک حداکثر تا تاریخ ۱۵ شهریور برای شرکت در همایش ثبت‌نام نمایند. هزینه ثبت نام ۵۰۰هزار تومان (برای دانشجویان نیم‌بها) است (سخنرانان حضوری همایش نیازی به پرداخت هزینه ثبت نام ندارند ولی حتما باید فرم ثبت نام را تکمیل نمایند). ذکر این نکته ضروری است که با توجه به حضوری‌بودن تنها یک روز همایش، امکان اسکان برای شرکت‌کنندگان فراهم نیست و فقط سخنرانان در صورت تمایل می‌توانند از امکان اسکان بهره‌مند شوند. ایمیل دبیرخانه: mailroom@ialogic.ir با تشکر کمیته اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران

ساعت ۱۲ امشب آخرین فرصت ارسال مقاله است و تمدید نخواهد شد. لطفا حتما تا این زمان خلاصه مقاله ۱۵۰۰ کلمه‌ای را ارسال بفرمایید.

با توجه به استقبال اهالی جامعه منطق و درخواست‌های موجود، مهلت ارسال مقاله برای سیزدهمین همایش سالیانه انجمن منطق ایران تا پایان روز ۱۰ مرداد ۱۴۰۵ تمدید شد. از علاقمندانی که در حال آماده‌سازی مقالات خود هستند خواهشمندیم که نسبت به ارسال مقاله در این مهلت اقدام نمایند چون قابل تمدید نیست.

📌 نشست تاریخ منطق در ایران از سلسله  سخنرانی‌های آزاد حکمی و فلسفی کمیسیون تاریخ علم فرهنگستان علوم با همکاری گروه علوم اسلامی فرهنگستان علوم ✅ سخنرانان: ▫️دکتر داود حیدری استادیار گروه فلسفه و کلام اسلامی دانشگاه علوم اسلامی رضوی ▫️دکتر علیرضا دارابی استادیار گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران ▫️دکتر مهدی عظیمی دانشیار گروه فلسفه و کلام اسلامی دانشگاه تهران ▫️ دکتر اسدالله فلاحی استاد گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران ▫️ دکتر لطف‌الله نبوی استاد گروه فلسفه و منطق دانشگاه تربیت مدرس ▫️دکتر سیدمحمود یوسف‌ثانی دانشیار گروه مطالعات ابن‌سینا مؤسسه پژوهشی حکمت و فلسفه ایران 🔺 زمان: یکشنبه 1405/04/21 ساعت 13 تا 16:30 🔻 مکان: سالن ابن‌سینا فرهنگستان علوم ✅ نشست به صورت حضوری و برخط برگزار می‌شود و علاقه‌مندان می‌توانند برای حضور آنلاین از طریق لینک زیر وارد شوند: https://www.skyroom.online/ch/ias/chs

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

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

اطلاع‌رسانی رويدادهای بين‌المللی سازمان‌های همکار انجمن منطق ايران Logica Universalis Webinars Title: Modal Logic in Europe Speaker: Jacques Riche Time: Wednesday, Jun 10 (Xordad 20), 17:30 (Iran Local Time)