“本体论证明”的三个模态版本辨析

安瑟尔姆提出的关于上帝存在的"本体论证明",曾受到康德的摧毁性批判。以现代模态逻辑为基本工具,哈特肖恩、普兰丁格和哥德尔分别构造了本体论证明的"模态版本"。经过比较研究可以发现:哈特肖恩的版本没有区分逻辑可能与形而上学可能;普兰丁格的版本以"极伟大性"为核心,运用可能世界理论摆脱了基于"存在"不是谓词的康德式质疑,使问题集中于对证明中非逻辑前提之合理性的把握;而哥德尔的版本尽管依托"肯定性属性",但由于把"必然存在"作为"肯定性属性"之一,最终难以避免康德式质疑。更重要的是,任何本体论证明都是一种有前提的推演,因此对它们的评价最终都要依赖于其非逻辑前提的合理性。