موجود خدای - گونه

جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطرح ساخت نشان داد که استدلال هنوز نتایج نامطلوبی دارد و همچنان می توان در صحت آن شک داشت. الکساندر پراس نیز در مقالة ۲۰۰۹ خود از چند استدلال هستی شناسیک گودلی دفاع کرد که در برابر این نقیضه مصون هستند. در این مقاله، پس از اشاره ای کوتاه به استدلال هستی شناسیک گودل (روایت اسکات)، به انتقادات سوبل، اصلاحات اندرسون، نقیضة آپی و درنهایت استدلال هایی که پراس مطرح کرده است خواهم پرداخت.