经典安瑟尔谟本体论证明的逻辑评估——一个可能世界理论的视角

可能世界理论解释表明,安瑟尔谟的本体论证明并未以康德式存在的谓词性设定为论据,整个证明最关键之处乃在于现实世界是否就是不可超越的伟大性得到示例的那些可能世界之一.经典本体论证明的破解也说明,作为现代逻辑的一种重要理论形态,可能世界理论对于宗教哲学研究有着重大学术价值,它有力地推动着一些重要宗教哲学问题的深入研究.