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

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

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 قابل مطالعه است.