حامد قدیری - دانشجوی کارشناسی ارشد فلسفه منطق؛ دانشگاه تربیت مدرس
داود حسینی - استادیار گروه فلسفه دانشگاه تربیت مدرس

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

برهان وجودی آنسلم, زالتا, اوپنهایمر, منطق آزاد, تصورپذیری