-
کانال رسمی تلگرام انجمن منطق ایران وبسایت رسمی انجمن: http://irlogic.org/ پیوند به این کانال: https://t.me/IranLogic
یادآوری سخنرانی امروز (تلفیقی حضوری - مجازی):
👇👇👇
عنوان:
The diamond principle: from Jensen to Shelah
سخنران: محمد گلشنی (پژوهشگاه دانش‌های بنیادی)
ساعت 16 الی 18
آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/irip/logic
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: یک‌شنبه 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
انجمن منطق ایران به میزبانی دانشکده‌ی ریاضی دانشگاه صنعتی امیرکبیر برگزار می‌کند:
تاریخ: چهارشنبه 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
📌 لیست سخنرانی‌های ماهیانه انجمن منطق ایران در سال 1402
———————————————————
ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی اعلام خواهد شد.
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 29 خرداد 1402، ساعت 16 الی 18
عنوان: استدلال‌های غیر یکنوا در فرایند استنباط احکام شرعی
سخنران: فاطمه سادات نبوی (عضو هیأت علمی دانشگاه قم)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران (گروه منطق) برگزار خواهد شد:
آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴
پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic
چکیده‌ی سخنرانی: (کلیک کنید.)
کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 25 اردیبهشت 1402، ساعت 16:30
عنوان: نزاع بر سر تفسیر سور شرطی
سخنران: علیرضا دارابی (عضو هیأت علمی مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران - گروه منطق)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران (گروه منطق) برگزار خواهد شد:
آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴
پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic
چکیده‌ی سخنرانی: (کلیک کنید.)
کانال تلگرام انجمن منطق ایران:
@IranLogic
کانال واتساپی انجمن منطق ایران:
https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY
💢 همایش بین‌المللی «تاریخ منطق در جهان اسلام» برگزار میشود.
🔹 به گزارش روابط عمومی مؤسسه پژوهشی حکمت و فلسفه ایران، همایش بین‌المللی «تاریخ منطق در جهان اسلام» در تاریخ 13 لغایت 16 اسفندماه 1401، شنبه تا سه‌شنبه، توسط گروه منطق مؤسسهٔ پژوهشی حکمت و فلسفهٔ ایران، با همکاری انجمن منطق ایران برگزار میشود. کمیتهٔ علمی همایش از فرهیختگان، پژوهشگران و علاقه‌مندان فلسفه و منطق دعوت می‌نماید تا در این همایش حضور بهم رسانند.
🌐 آدرس لینک شرکت کنندگان مجازی : irip.ac.ir/u/136
📌محورهای اصلی همایش بین‌المللی «تاریخ منطق در جهان اسلام»:
1. منطق پیشاسینوی
2. منطق ابن‌سینا
3. منطق پساسینوی
4. منطق تطبیقی
https://eitaa.com/hekmatfalsafe
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.
A property for minimal but not strongly minimal structures
Nazanin Roshandel Tavana
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran
Abstract: For a countable first order language L, an infinite L-structure is minimal if every definable subset with parameters in M is finite or cofinite. A minimal structure M is strongly minimal if every elementarily equivalent structure to M is minimal. It is obvious that every strongly minimal structure is minimal. But there are some examples of minimal but not strongly minimal structures, as (ω, <). The question which is studied in this peper is as follows.
Q: Let M and N are minimal but not strongly minimal structures with M ≡ N. Then, is M ≅ N? This conjecture is due to A. Nurtazin from 2004.
In this article, This conjecture will be rejected.
Keywords: Minimal but not strongly minimal structure, Hrushovski construction.
https://meetings2.aut.ac.ir/logicday2
About a Proof ( TC+CON(〖TC〗^*)Ͱ(P≠NP))
Farzad Didehvar
Amir Kabir University (Tehran Polytechnic)
didehvar@aut.ac.ir
Abstract: In this talk, we introduce Theory of Fuzzy Time Computation (TC^*). We show this theory is as plausible as Theory of Computation (TC) in Modeling Physical world. As an advantage, we show TC^* is a better theory to consider for Complexity Theory problems respect to TC. More exactly, first we define the correspondent complexity classes in the new theory as P^*,〖 NP^*,BPP〗^*,〖 MA〗^*,AM^* [1],[3],[5],[6],[7].
In the novel Theory, We prove P^*=BPP^*, 〖 MA〗^*=AM^* [3].
As the major result of this talk, we show TC+CON(TC^* )Ͱ(P≠NP) [4]. We try to explain the details of the proof.
We provide a reason to show CON(TC^* ) is plausible in the real world. To do that, we introduce a novel interpretation of Quantum Mechanics (Fuzzy time-Particle interpretation of Quantum Mechanics) [2]. In addition to the above, some Mathematician and Philosophers like Brouwer and Husserl believed some ideas similar to the Fuzziness of Time [8].
Keywords: TC^*, scope_ ^*, P≠NP, P^*≠NP^*, Fuzzy time
Refrences:
1. L.Babai “TRADING Group Theory for Randomness”, STOC’85: Proceedings
of the seventeenth annual ACM symposium on Theory of Computing, ACM,
pp.421-429, 1985
2. F.Didehvar, Computing Fuzzy Time Function, SSRN, 2022
3. F.Didehvar, Theory of Fuzzy Time Computation 〖(TC〗^*), HAL (Id: hal-03962654), 2023
4. F.Didehvar, Theory of Fuzzy Time Computation (2), SSRN,2023
5. O.Goldreich, In a world of P=BPP
6. O.Goldreich, Studies in Complexity and Cryptography: Miscellanea on the
interplay between Randomness and Computation , Vol 6650 of Lecture Notes
in Computer Science, Springer 2011, P 43.
7. S.Goldwasser; M.Sipser “Private coins versus public coins in interactive
proof systems”, STOC’86: Proceedings of the eighteenth annual ACM
symposium on Theory of Computing, ACM, PP.59-68, 1986
8. Van Aten M, On Brouwer, Wadsworth Philosopher’s Series, 2004
Martin's Maximum, Woodin's P_max axiom (*), and Cantor's Continuum Problem
Ralf Schindler
University of Münster
Abstract: In 2019, D. Asperó and the speaker showed that Martin's Maximum^++ implies the P_max axiom (*). This amalgamated two prominent maximality principles which before had often been considered as competitors. We provide some background, give a hint about the proof method, and mention further developments and open questions for future research. We also discuss to which extent our result has a philosophical impact, in particular concerning the question as to how many real numbers there are.
برای دسترسی به برنامه زمان‌بندی ارائه‌ها و سخنرانی‌ها، چکیده مقالات، پوستر فارسی و انگلیسی، آدرس و مکان‌یاب همایش رمزینه بالا را اسکن کنید.
پیوند کوتاه رمزینه:
10a.ir/TbZ
برنامه سخنرانی‌های مجازی - پنج‌شنبه 4 اسفند 1401 - صبح و عصر
لینک همایش: https://meetings2.aut.ac.ir/logicday2
برنامه سخنرانی‌های حضوری چهارشنبه 3 اسفند 1401 - صبح
دانشکده ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر، تهران، ایران
برنامه هم زمان در هر دو سالن از طریق لینک‌های زیر به صورت مجازی پوشش داده خواهد شد:
اتاق (1): https://meetings2.aut.ac.ir/logicday /
اتاق (2): https://meetings2.aut.ac.ir/logicday2/
از استقبال خوب شما اساتید، دانشجویان، پژوهشگران و فرهیختگان محترم جامعه منطق ایران که در مهلت اعلام شده، برای شرکت در دهمین همایش سالیانه انجمن منطق ایران ثبت‌نام نمودید، سپاسگزاریم.
با توجه به اختلالات اینترنتی، اگر تا امشب ساعت ۲۴ موفق به ثبت‌نام نشدید یا با مشکلاتی مواجه شدید، سامانه تا فردا ساعت ۹ شب فعال خواهد بود و شما می‌توانید ثبت‌نام خود را تکمیل نمائید.
با ثبت نام به موقع ما را در برگزاری شایسته این همایش یاری نمائید:
*. فرم ثبت نام (با توجه به پایان مهلت ثبت نام، غیرفعال شد.)
کمیته اجرائی دهمین همایش سالیانه انجمن منطق ایران
🛑🛑🛑
متأسفانه به دلیل کسالت و حال نامساعد پروفسور ماتیاس باز، سخنرانی امروز ایشان لغو و به زمان دیگری موکول شد.
پس از بهبودی وضع حال ایشان، زمان جدید سخنرانی ایشان از طریق درگاه‌های ارتباطی انجمن منطق ایران اطلاع‌رسانی خواهد شد.
اسلایدهای سخنرانی پروفسور ماتیاس باز: (کلیک کنید)
🛑 📎 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
———————————————
📎 یادآوری برگزاری سخنرانی امروز (حضوری-مجازی):
تاریخ: دوشنبه 29 خرداد 1402، ساعت 16 الی 18
عنوان: استدلال‌های غیر یکنوا در فرایند استنباط احکام شرعی
سخنران: فاطمه سادات نبوی (عضو هیأت علمی دانشگاه قم)
آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴
پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic
📌 فراخوان مقاله یازدهمین همايش سالانه انجمن منطق
انجمن منطق ایران یازدهمین همايش سالانه خود را در زمستان 1402 برگزار می‌کند. (تاریخ دقیق و میزبان همایش متعاقباً اعلام خواهد شد.)
حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق
از علاقمندان و صاحب‌نظران در حوزه‌های گوناگون منطق دعوت میشود خلاصه مقاله 1000 تا 1500کلمه‌ای خود را به آدرس زیر ارسال نمایند:
lc1402@ialogic.ir
پایان مهلت ارسال مقالات: 30 آبان‌ماه 1402
برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اعضای کمیته علمی و توضیحات مبسوط‍‌تر در مورد تصمیمات کمیته‌های علمی و اجرایی همایش، اینجا کلیک کنید.
پیگیری آخرین اخبار همایش: (کلیک کنید)
با سپاس پیشاپیش
کميته همايش انجمن منطق ایران
یادآوری سخنرانی امروز ...
ساعت 16:30 (حضوری-مجازی)
عکس دسته‌جمعی / دهمین همایش سالیانه انجمن منطق ایران / چهارشنبه ۳ اسفند ۱۴۰۱ / دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر
Читать полностью…
https://meet.google.com/ggt-tjcf-uwx
به دلیل مشکلات زیرساختی اینترنت ملی و پهنای باند به شدّت پایین در این ساعات، ادامه جلسه به گوگل میت منتقل شد.
A Galois connection between Turing jumps and limits
Vasco Brattka
University of the Bundeswehr Munich
Abstract: We discuss a Galois connection between Turing jumps and limits that offers a fresh view on the class of limit computable functions and its properties. This view does not only offer simplified proofs of many known classical results in computable analysis, but also new insights. With this approach we also propagate a more uniform view on computability theory in general.
آدرس برگزاری همایش: تهران، خیابان ولیعصر (عج)، خیابان رشت، دانشگاه صنعتی امیرکبیر، دانشکده ریاضی و علوم کامپیوتر (ساختمان خوارزمی)، طبقه سوم، سالن‌های ۳۱۱ و سالن فجر از مجموعه تالارهای دانشگاه
https://maps.app.goo.gl/W3gX8xAujnDtbkEh6
برنامه سخنرانی‌های حضوری چهارشنبه 3 اسفند 1401 - عصر
دانشکده ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر، تهران، ایران
برنامه هم زمان در هر دو سالن از طریق لینک‌های زیر به صورت مجازی پوشش داده خواهد شد:
اتاق (1): https://meetings2.aut.ac.ir/logicday /
اتاق (2): https://meetings2.aut.ac.ir/logicday2/
کتابچه‌ی چکیده‌های ارائه‌ها و سخنرانی‌های دهمین همایش سالیانه انجمن منطق ایران
Читать полностью…
"زمان‌بندی سخنرانی‌ها و ارائه‌های دهمین همایش سالیانه انجمن منطق ایران"
------------------------------
برای آگاهی از اطلاعات جدید درباره همایش لطفاً به سایت انجمن منطق ایران https://ialogic.ir مراجعه کنید و سؤالات خود را با ما از طریق ایمیل lc1401@ialogic.ir در میان بگذارید.
کمیته اجرایی دهمین همایش سالیانه انجمن منطق ایران