برهان وجودی آنسلم

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

برهان آنسلم از نمونه های نامور برهان وجودی است که قرن ها محل بحث فیلسوفان و منطق دانان بوده است. یکی از کلیدی ترین فرازهای این برهان چنین است که «اگر [آن چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن گاه می توان همین فرد را به عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می توان «مسئلة مقایسة با خود» را مطرح کرد؛ مسئله ای که اولاً به تمایز میان «آن چه فراتر از آن قابل تصور نیست» و «آن چه فراتر از آن قابل تصور نیست به عنوان موجود»، و ثانیاً به مقایسة میان آن ها می پردازد. در این مقاله، نگارندگان تلاش می کنند پاسخ چهار تقریر از برهان وجودی آنسلم، میلیکان، اوپنهایمر و زالتا، لوئیس، و کینگ، به «مسئلة مقایسه با خود» را بررسی کنند؛ در مقام پاسخ گویی به این مسئله، میلیکان و هم چنین اوپنهایمر و زالتا آن را منحل کرده اند، لوئیس با استفاده از جهان های ممکن لوئیسی به حل آن پرداخته است، و کینگ با بهره گیری از نظریة اشیای التفاتی کوشیده است این تمایز را مدل کند. در این نوشتار استدلال می شود که مسئله منحل شدنی نیست؛ مدل لوئیس نظریة وی در باب جهان های ممکن را پیش فرض می گیرد و نظریة اشیای التفاتی باعث ایجاد مشکلی می شود که صورت بندی کینگ را از اعتبار می اندازد.