Gödel's Ontological Proof

يمثل البرهان الوجودي الموجهي لكورت غودل، الذي صيغ في عام 1970 لكن لم يتم تداوله إلا بشكل خاص حتى بعد وفاته، إحدى أكثر المحاولات تطوراً من الناحية التقنية لإثبات وجود الله من خلال المنطق الخالص. يقدم تحليل جوردان هاورد سوبل في عام 1987 أول فحص نقدي شامل لهذا البرهان، واضعاً إياه ضمن إطار التقليد التاريخي للبراهين الوجودية وإطار المنطق الموجهي المعاصر.

يستخدم برهان غودل جهازاً معقداً من المنطق الموجهي والكمية من المرتبة العليا لتشكيل مفاهيم الخصائص الإيجابية والماهيات والوجود الضروري في صورة منطقية رسمية. يبدأ البرهان ببديهيات حول الخصائص الإيجابية - أنها تشكل مرشحاً فائقاً تحت الاستلزام المنطقي - ويتقدم عبر تعريفات للكائنات الإلهية باعتبارها تلك التي تمتلك جميع الخصائص الإيجابية. انطلاقاً من هذه الأسس، يستنتج غودل أنه إذا كان وجود الله ممكناً، فإن الله موجود بالضرورة. يعيد سوبل بناء كل خطوة من خطوات البرهان بدقة متناهية، موضحاً ترميز غودل وجاعلاً صريحة مختلف الافتراضات الضمنية.

تتمركز القوة النقدية لتحليل سوبل على إثبات أن بديهيات غودل تؤدي إلى الانهيار الموجهي - النتيجة غير المقصودة المتمثلة في أن جميع الحقائق تصبح حقائق ضرورية. يحدث هذا لأن نظام غودل، عندما يتم تطويره بالكامل، يستلزم أن كل ما هو فعلي ضروري. يبين سوبل أن هذا ينجم عن التفاعل بين بديهية غودل القائلة بأن الوجود الضروري خاصية إيجابية وشرط المرشح الفائق على الخصائص الإيجابية. إذا كان الله موجوداً بالضرورة ويريد جوهرياً كل ما يحدث، فإن جميع الوقائع تصبح وقائع ضرورية، مما يلغي الاحتمالية الحقيقية من العالم.

وراء النقد التقني، يفحص سوبل الكفاية الفلسفية لتصور غودل للخصائص الإيجابية ومضامينه اللاهوتية. يحتج بأن القيود الصورية لغودل على الإيجابية قد لا تلتقط المفاهيم البديهية للكمال الإل