سخنرانی اودیفردی در انجمن منطق ایران

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

Gödel and God

Piergiorgio Odifreddi

دانشگاه تورین، ایتالیا

زمان :

شنبه، ۱۱ اسفند ۱۳۹۷، ساعت 15 ـ 17

مکان : مؤسسة پژوهشی حکمت و فلسفه ایران، تهران

چکیده :

In 1970, Kurt Gödel wrote in a manuscript a mathematical proof of the existence of God. He didn't publish it to avoid religious discussions: his main interest was, indeed, the correction of a logical mistake made by Leibniz in an attempt to improve Descartes' version of Anselm's original ontological proof. I will briefly trace the history of this almost millenary argument, ending with a simple sketch of Gödel's proof.

انتشار مقاله Simple Axiomatizations for Pretabular Classical Relevance Logics

به تازگی مقاله بنده با عنوان Simple Axiomatizations for Pretabular Classical Relevance Logics در نشریه Studia Logica به صورت آنلاین منتشر شده است. این مقاله را بدون امکان دانلود یا چاپ در https://rdcu.be/bnCDX می‌توان مطالعه کرد.

این مقاله ادامه مقاله دیگری از بنده است با عنوان A Second Pretabular Classical Relevance Logic که در 2018 در همان نشریه منتشر شده است و در http://rdcu.be/tE7o قابل مطالعه است.

 

اطلاعیۀ ثبت نام ششمین سمینار سالانه انجمن منطق ایران

اطلاعیۀ ثبت نام

ششمین سمینار سالانه انجمن منطق ایران

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

از همه اساتید، دانشجویان، پژوهشگران و علاقه­مندان گرامی دعوت می­شود با توجه به مطالب زیر نسبت به ثبت‌نام اقدام نمایند:

راهنمای ثبت‌نام در سمینار

خواهشمندیم اطلاعات زیر را به آدرس ایمیل [e-mail] تا تاریخ 30/10/97 ارسال فرمایید:

1)   نام و نام خانوادگی

2)   دانشگاه محل فعالیت و مقطع تحصیلی

3)   رسید یا اطلاعات پرداخت هزینه ثبت ­نام (60،000 تومان)

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

ب) خواهشمندیم با پرداخت هزینه ثبت‌نام تا تاریخ 30/10/97 ما را در برگزاری شایسته همایش یاری کنید.

ج) برای پرداخت هزینه ثبت‌نام و ارسال رسید (یا اطلاعات) آن، لطفاً از طریق پرداخت کارت به کارت به شیوۀ زیر اقدام فرمائید:

واریز به کارت شماره 0764-4742-8310-5859 به نام «اسدالله فلاحی» بانک تجارت و سپس فرستادن نام و شماره کارت واریزکننده به ایمیل [e-mail]  (لطفاً رسید واریز را تا تائید ثبت‌نام نزد خود نگه‌دارید).

لطفاً برای آگاهی از اطلاعات جدید درباره سمینار به سایت انجمن منطق ایران www.irlogic.org مراجعه کنید و سؤالات خود را با ما از طریق ایمیل یاد شده در بالا در میان بگذارید.

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

انتشار مقاله Fārābī and Avicenna on Contraposition

مقاله بنده با عنوان Fārābī and Avicenna on Contraposition در نشریه History and Philosophy of Logic سال 40 شماره 1 ژانویه 2019 منتشر شد. دسترسی مستقیم به مقاله از پیوند زیر برای تنها 50 نفر امکان پذیر است:

https://www.tandfonline.com/eprint/x4XrytwuaZjDs6fZwiWX/full

 

 

ششمین همایش سالانه انجمن منطق ایران

(اطلاعیه دوم)

فراخوان مقاله

ششمین همایش سالانه انجمن منطق ایران

انجمن منطق ایران ششمین همایش سالانه خود را با همکاری پژوهشگاه دانش‌های بینادی در 10 و 11 بهمن ماه 1397 در دانشگاه شهید بهشتی برگزار می کند.

حوزه های پژوهشی مرتبط عبارت اند از: 

1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق 

از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند:

   [e-mail]

 پایان مهلت ارسال مقالات 30 ام آذر ماه 1397 است.

در ضمن، به اطلاع می‌رساند که مجمع عمومی انجمن منطق ایران به منظور برگزاری انتخابات چهارمین هیئت مدیره انجمن در پایان همایش برگزار خواهد شد.

هیأت مدیره انجمن منطق ایران

فراخوان مقاله ششمین همایش سالانه انجمن منطق ایران

فراخوان مقاله

ششمین همایش سالانه انجمن منطق ایران

انجمن منطق ایران ششمین همایش سالانه خود را با همکاری پژوهشگاه دانش‌های بنیادی در 10 و 11 بهمن ماه 1397 در یکی از دانشگاه‌های تهران برگزار می کند.

حوزه های پژوهشی مرتبط عبارت اند از: 

1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق 

از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند

  [e-mail]

 پایان مهلت ارسال مقالات 30 ام آذر ماه 1397 است.

 

هیأت مدیره انجمن منطق ایران

منبع:

http://irlogic.org/Article-97 

انتشار کتاب منطق در ایران سدۀ ششم

منطق در ایران سدۀ ششم به تصحیح و با مقدمه‌های فارسی و انگلیسی غلامرضا دادخواه و اسدالله فلاحی و با پیشگفتاری از نیکلاس رشر، از سوی موسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر شد.

 

معرفی کتاب

منطق در ایران سدۀ ششم

 

در حالی که از چندین دهۀ پیش تا کنون کتاب‌های متعددی در تاریخ فلسفه در ایران و جهان اسلام به چاپ رسیده، هنوز هیچ تاریخ جامعی از منطق که از پویاترین علوم در تمدن ایرانی- اسلامی بوده، نوشته نشده است. یکی از مهم‌ترین موانع تدوین چنین تاریخی، در دسترس نبودن تصحیح‌های انتقادی از آثار منطقی متفکرانی است که عمدتاً در سده‌های چهارم تا هشتم هجری در ایرانشهر (ایران بزرگ) می‌زیسته‌اند. در این میان، به خصوص اطلاع ما از آثار منطقی که در فاصلۀ تالیف البصائر النصیریۀ ابن سلان ساوی تا الملخّص فخر الدین رازی به نگارش درآمده‌اند بسیار اندک است.

کتاب منطق در ایران سدۀ ششم گامی کوچک در راستای معرفی و نقد هفت رسالۀ منطقی از اندیشمندان ایرانی سدۀ ششم هجری است تا از رهگذر آن بخشی از تاریخ منطق که تا کنون از آن اطلاع چندانی در دسترس نبوده است روشن گردد. به خصوص جدال منطقی رشید الدین وطواط شاعر با عمر بن غیلان بلخی بر سر برهان خلف از یک سو، و مناظرات همین ابن غیلان با شرف الدین مسعودی دربارۀ قیاس‌های مختلط از سوی دیگر، بسیار قابل توجه است.

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

 

و در پایان، رساله ای کوتاه و ناتمام از فخر الدین رازی در این کتاب تصحیح شده که تاکنون مجهول المؤلّف خوانده می‌شد. این رساله احتمالاً از نخستین آثار منطقی رازی است و در آن نشانه‌هایی از نخستین نوآوری‌های منطقی او که بعدها در آثاری چون الملخّص به تفصیل به آنها پرداخته، دیده می‌شود.

کارگاه منطق و فلسفه اسلامی

کارگاه منطق و فلسفه اسلامی:

 چشم‌اندازهای تاریخی و معاصر

 

گروه مطالعات فلسفه اسلامی و قرون وسطی، پژوهشکده فلسفه تحلیلی

 

پژوهشكده فلسفه تحلیلی پژوهشگاه دانش‌های بنیادی (IPM) كارگاهی را با عنوان «منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر» در تاریخ سه‌شنبه ۲۲ خرداد ۱۳۹۷ برگزار می‌كند.

 

شرکت در این کارگاه برای عموم آزاد است.

 پوستر کارگاه

 

زمان: سه‌شنبه ۲۲ خرداد ۱۳۹۷، ساعت ۱۰ الی ۱۶

مکان: تهران، میدان شهید باهنر (نیاوران)، پژوهشگاه دانش‌های بنیادی، پژوهشکده فلسفه تحلیلی، سالن شماره ۱

تلفن: [phone]

 

دبیر کارگاه

سید نصرالله موسویان

[e-mail] 

سخنرانی ویلفرید هاجز با عنوان «نگاه جدید ابن سینا به منطق»

 ویلفرید هاجز، استاد بازنشسته کینگز کالج دانشگاه لندن، سخنرانی روز دوشنبه 21 خرداد 1397 ساعت 16 در موسسه پژوهشی حکمت و فلسفه ایران با عنوان «نگاه جدید ابن سینا به منطق» ارائه خواهد کرد.

Ibn Sina’s new vision of logic

Wilfrid Hodges

Abstract: 

A few brief paragraphs of section iii.2 of Ibn Sina's Qiyas contain what is probably the deepest and most sophisticated analysis of the nature of logic between Aristotle and Leibniz.  It would take at least a week to extract the full content of this short passage.  We will concentrate on two themes: 

(1)   The topic of shapes of proofs.

(2)   The justification of modal reasoning by temporal reasoning, which is formally identical with the use of a type of Kripke semantics. 

 References:

Wilfrid Hodges, ‘Proofs as cognitive or computational: Ibn Sina's innovations’, Philosophy and Technology 31 (1) (2018) 131-153.

Wilfrid Hodges and Spencer Johnston: ‘Medieval modalities and modern methods: Avicenna and Buridan’, IfCoLog Journal of Logics and their Applications 4 (4) (2017) 1029-1073.

http://wilfridhodges.co.uk/

سخنرانی دکتر سياوش شهشهانی: فلسفه ریاضیات و فلسفه ریاضی‌ورزی

پژوهشگاه دانشهاي بنيادي پژوهشکده فلسفه تحليلی
فلسفه ریاضیات و فلسفه ریاضی‌ورزی
سياوش شهشهانی
دانشگاه صنعتی شریف

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

زمان: دوشنبه، 2 فروردین 1397، ساعت 16

مکان: ميدان شهيد باهنر، پژوهشگاه دانشهاي بنيادي )مرکز تحقيقات فيزیک نظري و ریاضيات(،
پژوهشکده فلسفه تحليلی، سالن شماره 7