从可能到必然——贯穿普兰丁格本体论证明的逻辑之旅

作者：张力锋

来源：学术月刊, 2011, (09): 51-59.

• 上帝
• 可能世界
• 个体本质
• 示例
• 模态逻辑S5
• 形而上学模态
• 认知模态
• 相对模态 God
• possible world
• individual essence
• instantiation
• modal logic S5
• metaphysical modality
• epistemic modality
• relative modality

普兰丁格使用模态逻辑S5及其可能世界语义学作为论证工具,并运用可能世界、世界索引性质、个体本质和示例等基本哲学概念之间的内在逻辑联系,在辩明极大伟大性、极大美德性及全能、全知和道德完美三者之间关系的基础之上,证明上帝的存在。这一本体论证明的最大贡献在于摆脱了康德式"存在不是谓词"的责难。它不但在形式上是有效的,而且更为形象直观,极大扩展了本质主义学说的内涵。但其主要前提的可靠性并未得到有力证成,至大可能性的模态直觉辩护需要更详尽的澄清,至大的可能性属于相对模态,绝非形而上学模态,二者不可等同视之;它使用的论证工具模态逻辑S5是否正确的形而上学模态逻辑也存在着广泛争议。

• 出版日期2011
• 单位南京大学