巴坎公式与时态逻辑

摘要

本文分析了普赖尔等学者有关时间与存在关系的论述,深入考察了时态逻辑中关于巴坎公式的理论得失,指出:巴坎公式及其逆二者之组合意味着每个可能世界有同样的个体域,而在时态逻辑中,可能世界是不同时间的世界,因而不同时间有同样的个体域,这违背了现实世界的实际图景.在现实世界中,不同时间可以有不同的事物,这意味着不同时间的个体域可以不同.据此,在时态逻辑中,我们应该拒斥巴坎公式.