巴坎公式与时态逻辑
发布人：网站编辑
发布日期：2023-08-28
逻辑学研究 2020 年第 2 期，29–40 文章编号：1674-3202(2020)-02-0029-12
作者：周君
摘 要：本文分析了普赖尔等学者有关时间与存在关系的论述，深入考察了时态逻辑中关于巴坎公式的理论得失，指出：巴坎公式及其逆二者之组合意味着每个可能世界有同样的个体域，而在时态逻辑中，可能世界是不同时间的世界，因而不同时间有同样的个体域，这违背了现实世界的实际图景。在现实世界中，不同时间可以有不同的事物，这意味着不同时间的个体域可以不同。据此，在时态逻辑中，我们应该拒斥巴坎公式。
关键词：巴坎公式；普赖尔；时态逻辑；量化；存在
中图分类号：B81 文献标识码：A