ترجمه ماشینی :
استدلالهای هستیشناختی برای وجود خدا، که برای اولین بار توسط سنت آنسلم (1033-1109) کشف شد، تلاش میکنند تا وجود خدا را از مفهوم خدا استنتاج کن
... نند. هدف این پایاننامه حمایت از نسخهای از استدلال هستیشناختی بهعنوان درست فلسفی با اثبات منطقی معتبر بودن آن و با دفاع موفقیتآمیز از مقدمات استدلال به عنوان درست است. نسخه کیرشنر از استدلال هستیشناختی بیان میکند: P1 برای هر نوع موجودیت، نمونههایی از آن نوع موجودیت یا واقعاً وجود دارند، یا صرفاً احتمالاً وجود دارند، یا لزوماً وجود ندارند. P2 اگر بتوان یک موجودیت را تصور کرد، آن موجودیت یا واقعاً وجود دارد یا صرفاً وجود دارد. P3 خدا را می توان تصور کرد. C1 بنابراین، خدا یا بالفعل وجود دارد، یا صرفاً وجود دارد. P4 اگر و تنها در صورتی که آن موجودیت کاملاً غیرمحتوا باشد، یا غیرقابل تصور باشد، چیزی ضروری است. P5 اگر چیزی ضروری است، آن موجودیت یا لزوماً وجود دارد (اگر کاملاً غیرمحتوا باشد)، یا غیرممکن است و بنابراین لزوماً نمی تواند وجود داشته باشد (اگر غیرقابل تصور باشد). P6 خدا کاملاً غیر احتمالی است. ج2 پس خداوند لازم است. ج3 بنابراین، خدا نمی تواند صرفاً وجود داشته باشد. ج4 بنابراین، خدا لزوماً وجود دارد. ج5 بنابراین، خدا در واقع وجود دارد. رویکرد آنسلم این بود که با این فرض که خدا فقط به احتمال زیاد وجود داشته باشد، تناقضی را استنباط کند. رویکرد این نسخه آغاز می شود، نه با این فرض که خدا فقط ممکن است وجود داشته باشد، بلکه با این اصل متافیزیکی که سه مقوله وجود دارد که طیف هستی را در بر می گیرد. این نسخه یک قیاس منفصل بسط یافته است که نتیجه گیری آن از حقیقت داده شده مقدمات پیروی می کند. این برهان هستیشناختی معتبر است و ممکن است عدهای که ماهیت خدا را به دقت بررسی و بررسی میکنند، صحیح تلقی شود. این نشان می دهد که خدا نمی تواند به دسته "نمی تواند وجود داشته باشد" تعلق دارد. از این ایده که خدا صرفاً به دسته «احتمالاً وجود» تعلق ندارد، پشتیبانی قوی می کند. از این ایده حمایت می کند که خدا به عنوان GCB یک مفهوم امکان پذیر است. این یک مورد برای نشان دادن این است که مفهوم خدا وجود خدا را تضمین می کند
بیشتر