برهان وجودي آنسلم به تقرير زالتا و نقد آن

On Zalta on Anselm’s Ontological Argument

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

Oppenheimer and Zalta, in a co-Authored paper, argue that the Anselm’s ontological argument can be formalized based on free logic and the concept of conceivability. According to their version, there are only two premises in Anselm’s argument. We will argue that one can extend their formalization by introducing an argument for one of the two premises based on Anselm’s text. We will also show that our formulation is in more accordance with Anselm’s text