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

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

دانشکده علوم ریاضی و آمار دانشگاه اصفهان با حمایت انجمن منطق ایران و مشارکت انجمن علمی ریاضی و علوم کامپیوتر دانشکده علوم ریاضی و آمار دانشگاه اصفهان برگزار می‌کند:

رویداد دانشجویی «کارگاه دو روزه منطق و نظریه مدل» چهارشنبه و پنجشنبه ۱۳ و ۱۴ آبان ۱۴۰۵

برای آگاهی از برنامه سخنرانی‌ها، سخنرانان و ثبت نام به تارنمای اختصاصی رویداد مراجعه فرمایید. https://sites.google.com/view/uilogicday @IranLogic

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

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

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

از تناقض تا تصمیم: کاربست منطق‌های فراسازگار در آینده‌پژوهی جواد بیگی (پژوهشگر مستقل) چکیده یکی از چالش‌های اساسی آینده‌پژوهی، مواجهه با شواهد و ارزیابی‌های متناقضی است که در عین برخورداری از اهمیت تحلیلی، در فرایندهای متعارف تصمیم‌گیری و سناریونویسی ممکن است به حذف داده‌ها، تقلیل پیچیدگی مسئله یا دشواری در ارزیابی سازگاری گزینه‌های آینده بینجامند. مسئله اصلی این است که چگونه می‌توان بدون حذف شواهد متعارض، از ظرفیت اطلاعاتی آنها برای تحلیل وضعیت‌های آینده و پشتیبانی از تصمیم‌گیری بهره گرفت؟ این سخنرانی با تمرکز بر منطق‌های فراسازگار، به‌ویژه منطق فراسازگار شواهدی مشروح (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 با تشکر کمیته اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران

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