اگر منطق پاسخگوی همه گزاره ها نیست، چرا دنبال دلیل منطقی هستیم ؟

قضیه ناتمامیت گودل ثابت کرد که در هر سیستم سازگار منطقی گزاره هایی وجود داره که نه قابل اثبات هستند و نه قابل رد!

یعنی کلا درستی یا نادرستیشون درحیطه ی منطق نیستن ، با این وجود چرا برای درستی هر چیزی میگیم دلیل منطقی بیار؟ درحالی که منطق پاسخگوی همه گزاره ها نیست و سوال دوم هم اینکه پس به نظرتون تکلیف این گزاره ها چه میشود؟

7 پاسخ
برای ارسال پاسخ شوید.