فلسفه تحلیلی (با گرایش منطق)
مسائل به‌طورمطلق حل‌ناپذیر و‌ رایانه‌های خارق‌العاده

مرتضی منیری

دوره 14، شماره 1 ، تیر 1402، ، صفحه 195-204

https://doi.org/10.30465/lsj.2023.45985.1444

چکیده
  ابتدا، در پرتو آراء ففرمن، به بررسی دوگانۀ گودل می‌پردازیم مبنی بر اینکه یا توانایی‌های ذهن انسان از هر ماشین متناهی فراتر است، و یا معادلات ریاضی از نوع دیوفانتی وجود دارند که به طور مطلق حل‌ناپذیر هستند. سپس برهان پاتنم را بررسی می‌کنیم مبنی بر این که اگر توانایی علمی ذهن انسان را بتوان توسط یک ماشین تورینگ با توانایی تهیۀ سیاهه‌ای ...  بیشتر

استدلالِ هستی‌شناسیکِ گودل

مهدی رعنائی

دوره 3، شماره 1 ، فروردین 1391، ، صفحه 53-76

چکیده
  کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام ...  بیشتر