Surprising or Predictable? Weak Systems Have Hard Theorems

Raheleh Jalali
Utrecht University

Abstract: Given a proof system, how can we specify the “hardness” of its theorems? One way to tackle this problem is taking the lengths of proofs as the corresponding hardness measure. Following this route, we call a theorem hard when even its shortest proof in the system is “long” in a certain formal sense. Finding hard theorems in proof systems for classical logic has been an open problem for a long time and is highly related to the famous P versus NP problem. However, in recent years, as a significant progress, many superintuitionistic and modal logics have been shown to have hard theorems. In this talk, we will extend the aforementioned result to also cover a variety of weaker logics. We show that there are theorems in the usual calculi for many substructural logics and basic propositional logic, BPC, that are even hard for the intuitionistic systems.

عکس دسته‌جمعی / دهمین همایش سالیانه انجمن منطق ایران / چهارشنبه ۳ اسفند ۱۴۰۱ / دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر

💢 همایش بین‌المللی «تاریخ منطق در جهان اسلام» برگزار می‌شود.

🔹 به گزارش روابط عمومی مؤسسه پژوهشی حکمت و فلسفه ایران، همایش بین‌المللی «تاریخ منطق در جهان اسلام» در تاریخ‌ 13 لغایت 16 اسفندماه 1401، شنبه تا سه‌شنبه، توسط گروه منطق مؤسسهٔ پژوهشی حکمت و فلسفهٔ ایران، با همکاری انجمن منطق ایران برگزار می‌‌شود. کمیتهٔ علمی همایش از فرهیختگان، پژوهشگران و علاقه‌مندان فلسفه و منطق دعوت می‌نماید تا در این همایش حضور بهم رسانند.


🌐 آدرس لینک شرکت کنندگان مجازی : irip.ac.ir/u/136


📌محورهای اصلی همایش بین‌المللی «تاریخ منطق در جهان اسلام»:

1. منطق پیشاسینوی
2. منطق ابن‌سینا
3. منطق پساسینوی
4. منطق تطبیقی

https://eitaa.com/hekmatfalsafe

برنامه سخنرانی‌های همایش

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

تاریخ: دوشنبه 25 اردیبهشت 1402، ساعت 16:30

عنوان: نزاع بر سر تفسیر سور شرطی

سخنران: علیرضا دارابی (عضو هیأت علمی مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران - گروه منطق)

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

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

پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic 

چکیده‌ی سخنرانی: (کلیک کنید.)

کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

یادآوری سخنرانی امروز ...
ساعت 16:30 (حضوری-مجازی)

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

تاریخ: دوشنبه 29 خرداد 1402، ساعت 16 الی 18

عنوان: استدلال‌های غیر یکنوا در فرایند استنباط احکام شرعی

سخنران: فاطمه سادات نبوی (عضو هیأت علمی دانشگاه قم)

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

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

پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic 

چکیده‌ی سخنرانی: (کلیک کنید.)

کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

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

انجمن منطق ایران یازدهمین همايش سالانه خود را در زمستان 1402 برگزار می‌کند. (تاریخ دقیق و میزبان همایش متعاقباً اعلام خواهد شد.)

حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق

از علاقمندان و صاحب‌نظران در حوزه‌های گوناگون منطق دعوت می‌شود خلاصه مقاله 1000 تا 1500کلمه‌ای خود را به آدرس زیر ارسال نمایند:
[email protected]

پایان مهلت ارسال مقالات: 30 آبان‌ماه 1402

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

پیگیری آخرین اخبار همایش: (کلیک کنید)


با سپاس پیشاپیش

کميته همايش انجمن منطق ایران

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

📎 یادآوری برگزاری سخنرانی امروز (حضوری-مجازی):

تاریخ: دوشنبه 29 خرداد 1402، ساعت 16 الی 18

عنوان: استدلال‌های غیر یکنوا در فرایند استنباط احکام شرعی

سخنران: فاطمه سادات نبوی (عضو هیأت علمی دانشگاه قم)

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

پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic

انجمن منطق ایران به میزبانی دانشکده‌ی ریاضی دانشگاه صنعتی امیرکبیر برگزار می‌کند:

تاریخ: چهارشنبه 14 تیرماه 1402، ساعت 17 الی 19

عنوان:
First-Order Interpolation Derived from Propositional Interpolation

سخنران: Matthias Baaz

سخنرانی به صورت مجازی و به میزبانی دانشکده ریاضی دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/ialogic/ialogic

چکیده‌ی سخنرانی: (کلیک کنید.)


——————————————
کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

🛑 📎 Online Lecture:

✳️ The Iranian Association for Logic in cooperation with Amirkabir University of Technology (Department of Mathematics & Computer Sciences) is organizing an international online lecture:

Title: First-Order Interpolation Derived from Propositional Interpolation

Speaker: Matthias Baaz (Vienna University of Technology)

Chair: Farzad Didevar (Amirkabir University of Technology)

Date: Wednesday, July 5, 2023
17:00 - 19:00 (THR)
13:30 - 15:30 (GMT)

Abstract: (Click Here)

🔗 Link: https://www.skyroom.online/ch/ialogic/ialogic

———————————————
https://philevents.org/event/show/112798
———————————————
@IranLogic
———————————————

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

تاریخ: یک‌شنبه 25 تیر 1402، ساعت 16 الی 18

عنوان:
The diamond principle: from Jensen to Shelah

سخنران: محمد گلشنی (پژوهشگاه دانش‌های بنیادی)

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

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

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/irip/logic 

چکیده‌ی سخنرانی: (کلیک کنید.)
————————————
https://philevents.org/event/show/112846
————————————

کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

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

اسلایدهای سخنرانی پروفسور ماتیاس باز: (کلیک کنید)

یادآوری سخنرانی امروز (تلفیقی حضوری - مجازی):
👇👇👇

عنوان:
The diamond principle: from Jensen to Shelah

سخنران: محمد گلشنی (پژوهشگاه دانش‌های بنیادی)

ساعت 16 الی 18

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

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/irip/logic

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

تاریخ: دوشنبه 30 مرداد 1402، ساعت 16 الی 18

عنوان:
استدلال چند وجهی و اهمیت وجوه غیرکلامی در استدلال

سخنران: محسن حائری (پژوهشگر پسادکتری فلسفه – دانشگاه تربیت مدرس)

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

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

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/irip/logic 

چکیده‌ی سخنرانی: (کلیک کنید.)
————————————
@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

🛑🛑🛑
سخنرانی امروز انجمن منطق ایران (راستی آزمایی روش آزمون منطق / علی‌اصغر جعفری ولنی) به درخواست ایشان لغو گردید.
سخنرانی جایگزین (پارادوکس دروغگو در منطق نمادین / سیاوش احمدزاده)، در هفته دوّم مهرماه برگزار خواهد شد، و زمان و مکان برگزاری از طریق این کانال و سایت انجمن، اطلاع‌رسانی خواهد شد.

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

تاریخ: چهارشنبه 19 مهر 1402، ساعت 16 الی 18

عنوان:
پارادوکس دروغگو در منطق نمادین

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

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

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

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/irip/logic 

چکیده‌ی سخنرانی: (کلیک کنید.)
————————————
@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

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

لینک آنلاین جلسات:

https://meet.google.com/uqh-veir-jxa




کد ورود به جلسه (در اپلیکیشن Google Meet یا Gmail):

uqh-veir-jxa


__

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

تاریخ: دوشنبه، 24 مهر1402، ساعت 16 الی 18

عنوان: منطق و احتمال

سخنران: مسعود پورمهدیان (عضو هیأت علمی دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر)

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

آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده‌ی سخنرانی: (کلیک کنید.)
————————————
@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY