انجمن منطق ایران هفتمین همایش سالانه‌ی خود را با همکاری پژوهشگاه دانش‌های بنیادی در ۱۹-۱۷ دِی‌‌  ۱۳۹۸ در دانشکده‌ی ریاضی دانشگاه خواجه نصیرالدّین طوسی برگزار می‌کند.

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

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

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

  این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

پایان مهلت ارسال مقالات ۳۰ام آبان  ۱۳۹۸ است.

هیئت‌ مدیره‌ی انجمن منطق ایران

بازدید: 148

 انجمن منطق ایران برگزار می‌کند

درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)

سعید صالحی پورمهر
دانشگاه تبریز و پژوهشگاه دانش‌های بنیادی (IPM)

کاوه لاجوردی

 چکیده.

در بخشِ مقدماتیِ مقاله‌ی گودل (۱۹۳۱) استدلالی غیرصوری آمده است که به‌نظر می‌رسد صورتِ منطقی‌اش از این قرار باشد:

(۱) جمله‌ی A درباره‌ی خودش می‌گوید که خاصیتِ F دارد.
(۲) جمله‌ی A فی‌الواقع خاصیتِ F دارد.
بنابراین
(۳) جمله‌ی A صادق است.

درستیِ قضیه(ها)ی ناتمامیتِ گودل—آن گونه که در بخش‌های فنّیِ مقاله‌ی گودل بیان و اثبات شده‌اند—به این استدلال وابسته نیست؛ اما بعضی اثبات‌های احکامی دیگر (از جمله احکامی مربوط به صدق یا کذبِ جمله‌ی گودلِ نظامِ پرینکیپیا متمتیکا) وابسته به آن هستند.

ما استدلالِ (۳)-(۱) و مفاهیمِ مندرج در آن را بررسی می‌کنیم و برای چند خوانش‌اش (از جمله خوانشی که به‌نظرِ ما طبیعی‌ترین است) مثالِ نقض به‌دست می‌دهیم. در ادامه‌ی بحث، تعریفی از «جمله‌ی گودل» به‌دست می‌دهیم که مزیت‌هایی بر تعریفِ رایج دارد.

مراجع.

Juliet Floyd and Hilary Putnam (2000). “A note on Wittgenstein’s ‘notorious paragraph’ about the Gödel Theorem”. The Journal of Philosophy, 97: 624-632.

Kurt Gödel (1931). “On formally undecidable propositions of Principia Mathematica and related systems I”. Kurt Gödel Collected Works, Volume I: Publications 1929-1936, Solomon Feferman et al., eds. (Oxford University Press, 1986), pp. 145-195.

Volker Halbach and Albert Visser (2014). “Self-reference in arithmetic”, I & II. The Review of Symbolic Logic, 7: 671–691, 692–712.

Daniel Isaacson (2011). “Necessary and sufficient conditions for undecidability of the Gödel sentence and its truth”. D. DeVidi et al., eds., Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell, Springer, pp. 135–152.

Kaave Lajevardi and Saeed Salehi (2019). “On the arithmetical truth of self-referential sentences”. Theoria, 85: 8-17.

 

 مکان: تهران، خیابان انقلاب، دانشگاه تهران،

دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی

زمان : دوشنبه، ۲۷ آبان ۱۳۹۸، ساعت ۴ بعد از ظهر

فایل pdf همین اطّلاعیّه:

بازدید: 67
  1. چهارمین هیئت مدیره‌ی انجمن منطق ایران