جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: استدلال هستی‌شناختی در Proslogion II آنسلم همچنان به ایجاد انبار قابل توجهی از تفسیر و انتقاد پیچیده ادامه می‌دهد. با این حال، به نظر ما، بسیاری از این ادبیات سادگی ظریف استدلال اصلی را نادیده می گیرند یا نادرست نشان می دهند. گفتگوی زیر با یک اصلاح مهم به دنبال بازیابی این سادگی است. مانند نسخه اصلی، شکل یک reductio را حفظ می کند، که فکر می کنیم برای نبوغ بزرگ استدلال ضروری است. با این حال، با توسل به تمایز بین داشتن قدرت علی واسطه و داشتن قدرت علّی بدون واسطه، می‌کوشد از این سؤال دشوار که آیا «موجود» یک محمول اصیل است یا خیر، بگذرد. پگاسوس قدرت علّی بدون واسطه ندارد، اما او از طریق افکار، تصویرها و ادبیاتی که در آنها نقش می بندد، قدرت های علی را واسطه کرده است. این تمایز به ما این امکان را می‌دهد که بدون هیچ سؤالی درباره وجود خدا بحث کنیم.

یکی از صورت‌بندی‌های مربوط به برهان وجودی آنسلم، متعلق به اوپنهایمر و زالتا است که در مقاله‌ای مشترک، بر اساس منطق آزاد و مفهوم تصورپذیری، تقریری از این برهان ارائه داده‌اند. این صورت‌بندی بر دو مقدمه مبتنی است. نوشتۀ حاضر، پس از ارائۀ گزارشی از تقریر اوپنهایمر و زالتا، به تحلیل یکی از مقدمات پرداخته و با گسترش مدل معنایی زالتا، استدلالی برای پشتیبانی از آن ارائه می‌دهد که بر دو مقدمۀ دیگر استوار خواهد بود. ادعا این است که این صورت‌بندی با متن آنسلم هماهنگی بیش‌تری دارد.