هايک و بازسازي برهان وجودي گودل
ازي برهان وجودي گودل،به هيچ وجه بهم ريختگي وجود ندارد
بخشی از متن هايک و بازسازي برهان وجودي گودل : سال انتشار : 1395نام کنفرانس، همایش یا نشریه : پژوهشنامه فلسفه دين (نامه حكمت)تعداد صفحات :24از زمانی که گودل تلاش کرد صورت بندی ای منطقی از برهان وجودی ارائه دهد، بحث های قابل توجهی درباره اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش می کند کاستی های برهان گودل را نشان دهد. پتر هایک، منطق دان و ریاضی دان اهل جمهوری چک، تلاش می کند برهان وجودی گودل را به نحوی بازسازی کند که از انتقادات سوبل در امان باشد. به باور او، اگر برهان در سیستم موجهه S5 با اندکی