استدلال هستی شناختی گودل

کتاب استدلال هستی شناختی گودل : کتاب آقای مهدی رعنائی به خوبی روند شکل‌گیری برهان‌های هستی شناختی و به طور خاص برهان هستی شناختی گودل برای وجود خدا و تحولات بعدی آن را به زبان فارسی تقریر می‌کند. پس از خواندن این کتاب، خواننده در می‌یابد که چگونه ساده‌ترین برهان آنسلم برای وجود خدا، وقتی به شکل دقیق و منطقی صورت‌بندی می‌شود، نه تنها دیگر به هیچ وجه «ساده» نیست، بلکه انبوهی از مفاهیم و سؤالات «سخت» را پیش بر می‌نهد. در تعاریف و اصول موضوعه‌ی پیشنهادی گودل، برخلاف برهان «ساده‌ی» آنسلم، مفاهیمی مانند «ویژگی» یا «خاصیت»، «ویژگی مثبت»، «ویژگی منفی»، «ذات»، «ممکن» و «ضروری» حضور دارند، که هیچ کدامشان «ساده» نیستند و در نتیجه درک و قبول اصول موضوعه را «سخت» می‌کنند. علاوه بر این‌ها، قواعد برهان هستی شناختی گودل قواعد منطق موجهات مرتبه دوم‌اند که از چالش‌انگیزترین بخش های منطق فلسفی‌اند. این سه سؤال از اساسی ترین سؤالات نظریة برهان اند: -برهان چیست؟ -معیار سادگی یک برهان چیست؟ -معیار یکسان بودن دو برهان، برای یک حکم واحد از مقدمات یکسان، چیست؟