برهان آنسلم یکی از نمونه های نامور برهان وجودی است که می کوشد وجود «آن چه فراتر از آن قابل تصور نیست» را اثبات کند. در نگاره حاضر، چهار مورد از صورت بندی های منطقی این برهان مورد بررسی قرار می گیرد؛ نخست به صورت بندی اوپنهایمر و زالتا (1991) پرداخته می شود که با ارائه یک مدل مبتنی بر تصورپذیری و در نتیجه بازسازی یک زیربرهان، تلاش می شود فاصله میان متن آنسلم و مقدمات نویسندگان پر شود. بر اساس ای...
