试析普莱尔基于混合时态逻辑对其时间观的辩护.pdfVIP

逻辑学研究 2018 年第4 期，83–93 文章编号：1674-3202(2018)-04-0083-11 试析普莱尔基于混合时态逻辑对其时间观的辩护* † 郭美云 西南大学逻辑与智能研究中心 guomy007@swu.edu.cn 摘 要：普莱尔既是时态逻辑的创始者，又是混合逻辑的创始者。普莱尔接受了麦克 - - 塔加关于时间 理论和 理论的区分，认为-理论中“过去、现在和将来”等概念比 - 理论中的“在先、在后和同时”等概念更为基本，并且不承认时间点的本体论地位。 普莱尔从这种时间观出发，在致力于将无时态的一阶逻辑归约到时态逻辑的过程中，提 出了混合时态逻辑，从而对自己的时间观进行辩护。本文在对普莱尔的辩护过程进行 详细分析的基础上，从现代模态逻辑对应理论的角度指出，普莱尔的辩护并不成功，同 时讨论了普莱尔的方法论给我们带来的启示。 关键词：普莱尔；混合时态逻辑；时间观；辩护 中图分类号：B81 文献标识码：A 1 导言 普莱尔（A.N.Prior,1914–1969）被认为既是时态逻辑的创始者，又是混合逻 辑（Hybrid Logic）的创始者（[1]，第58 页）。普莱尔根据其对时间的哲学思考， - - - 接受了麦克塔加（McTaggart）关于时间 理论和 理论的区分，认为 理论中 - “过去、现在和将来”等概念比 理论中的“在先、在后和同时”等概念更为基 本，并且不承认时间点（Instants）的本体论地位（后文将详细论述）。因此，他在 - 提出时态逻辑的同时，就给自己确立了一个哲学目标，即将 理论中的时间概念 - 用 理论中的时间概念来表示，这在技术上表现为将无时态的一阶逻辑归约到时 态逻辑中去。我们知道，基本时态逻辑的语言表达力是严格弱于一阶逻辑的。普 莱尔所能采取的唯一途径就是不断扩张时态语言，他所采取的革命性手段是将表 示时间点（可能世界语义学中的可能世界）的专名（Nominal）当作命题引入到时 态语言当中，同时与全局模态词（GlobalModality）结合，从而在逻辑语言中实现 - - 将 理论中的时间概念归约到 理论中的时间概念的哲学目标。正是在这种一 阶逻辑和时态逻辑的牵涉或缠绕（Involvement）过程中，普莱尔提出了混合逻辑。 但是，这两种概念可以相互表达，是否就意味着哪种概念更为基本？将时间点的 收稿日期：2017-12-17 *基金项目：本文受到国家社科基金重点项目（15AZX020）和重庆市重点文科基地项目（18SKB044）的资助。 †感谢两位匿名审稿人提出的宝贵意见。 84 逻辑学研究 第11 卷第4 期 2018 年 名字作为命题是否就可以不承认时间点的本体论地位？本文在对普莱尔的辩护过 程进行细致分析的基础上，从现代模态逻辑对应理论的角度指出，普莱尔对其时 间观的辩护其实并不成功，并对普莱尔的方法论带给我们的启示予以讨论。 2 普莱尔的时间观 时间问题是贯穿于哲学史中的一个基本问题，很多哲学理论都依赖于对时间 的不同理解或假定，如柏格森和海德格尔等人的哲学，这在西方哲学史上有很多 讨论（关于时间哲学的讨论，可参考[6, 8]）。普莱尔作为时态逻辑的创始人，对 时间的一些基本问题做过深入思考，并形成了他自己关于时间的哲学思想。 - - 普莱尔的时间观深受麦克塔加关于时间 系列和 系列理论区分的影响。 - - 麦克塔加在《时间的非实在性》一文中关于时间 系列和 系列