作 者: ;
机构地区: 安徽大学哲学系
出 处: 《逻辑学研究》 2016年第2期45-60,共16页
摘 要: 普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中有着重要的应用,但它又引起了进一步的牵涉,普莱尔对此没有给出充分的说明,本文将追寻普莱尔提出混合时态逻辑的过程并对其合理性进行论述。笔者认为逻辑牵涉是形式化方法必然会带来的问题,但是多半是可以化解的。 Arthur N. Prior was known as the founder of tense logic and constructed tense logic early and systematically. W. V. Quine thought that modal logics have three grades of modal involvement, but this didn't prevent Prior from constructing tense logic systems. Prior had different standpoint to modal logic. He thought that the truths of basic propositions changes with time and there is a special kind of propositions that is true at only one instant. Prior constructed tense logics by means of modal logic and one order predicate logic. In order to equalize the two sorts of systems, Prior took the special kind of propositions which are true at only one instant as names and constructed a tense logic with them which was called hybrid tense logic system afterwards. Hybrid tense logic based on several presuppositions and modal involvements which Prior didn't give much more grounds for it. This paper will explore how hybrid tense logic was advanced and argue that it is reasonable. The author thinks that some semantics involvements in hybrid tense logics are eliminable.
领 域: [哲学宗教]