هایک و بازسازی برهان وجودی گودل

از زمانی که گودل تلاش کرد صورت بندی ای منطقی از برهان وجودی ارایه دهد، بحث های قابل توجهی درباره اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش می کند کاستی های برهان گودل را نشان دهد. پتر هایک، منطقدان و ریاضیدان اهل جمهوری چک، تلاش می ;ند برهان وجودی گودل را به نحوی بازسازی کند که از انتقادات سوبل در امان باشد. به باور او، اگر برهان در سیستم موجهه S5 با اندکی تفاوت بازسازی شود، می تواند از انتقادات سوبل در امان بماند. در عین حال، هایک معتقد است اثبات اعتبار برهان وجودی ارتباطی به اثبات وجود خداوند ندارد. در این نوشته، ابتدا شرحی از بازسازی هایک از برهان وجودی ارایه و این نکته نشان داده میشود که چگونه این نسخه هایک از برهان مسیله شکست وجهی برهان را که نسخه گودل با آن مواجه است حل می کند. آنگاه تلاش می شود ادعای اخیر هایک درباره بیارتباطی الهیاتی برهان در قالب دعاوی فیلسوفانی نظیر ویلیام رو و باس ون فراسن فهمیده و ارزیابی شود. در اینجا نشان خواهیم داد که در فرض خاصی میتوان نشان داد که چنین برهانی می تواند به اثبات وجود خدا مرتبط باشد

کلیدواژه ها:

اثبات وجود خداوند ، برهان وجودی ، کورت گودل ، پتر هایک ، جردن هاوارد سوبل