命题时态逻辑在“狭义相对论”视域下的困境与出路.doc

命题时态逻辑在“狭义相对论”视域下的困境与出路摘要命题时态逻辑是以中世纪及近代的语法时态研究为基础建立的。二十世纪中期,逻辑学家通过研究日常时态命题,提取出将来、现在与过去三种时态并建立了将它们作为基本算子的命题时态逻辑形式系统。但这些系统被认为在哲学上预设了一个“绝对现在”的存在以及时间的绝对性,与已经出现的“狭义相对论”在对时间的表述上存在矛盾。本文认为这些矛盾主要体现为三个困境:首先是“狭义相对论”对同时性的理解会与命题时态逻辑的一些公理相互矛盾,其次是被认为很重要的A-series和B-series在命题时态逻辑中产生的不自洽在某种程度上将不在“狭义相对论”视域下产生,最后是“狭义相对论”会在时间本体论方面对命题时态逻辑提出挑战。不过,走出由这些矛盾造成的困境是可能的。文章最后将会简要阐述以“狭义相对论”为基础建立的时空逻辑形式系统。关键词:命题时态逻辑;狭义相对论;-twentiethcentury,logiciansextractedthatfuturetense,“absolutenow”andtheabsolutenessoftimephilosophically,whichcontradicts“specialrelativity”:firstly,themeaningofsimultaneityin“specialrelativity”willcontradictsomeaxiomsofpropositionaltemporallogic;secondly,esfromtwoimportantconceptsA-seriesandB-seriesinpropositionaltemporallogicwillnotexistinthesightof“specialrelativity”insomesense;lastly,“specialrelativity”,-temporallogicformalsystembasedon“specialrelativity”:propositionaltemporallogic;specialrelativity;spatial-temporallogic目录一、引言 4二、命题时态逻辑系统 6(一)Kt及其线性扩张 6(二)分支命题时态逻辑系统 10三、三重困境 15四、向时空逻辑的转变 18(一)转变的可能条件 19(二)命题时空逻辑 21五、总结与期望 23参考文献 24一、引言时态逻辑是哲学逻辑的一个重要分支。二十世纪五十年代以来,时态逻辑逐渐成为一门独立的学科,受到逻辑学家的重视。目前,对时态逻辑的研究已经较为成熟,并且在理论层面与数学、计算机科学和物理学形成良好的互动。许多新的逻辑,如概率时态逻辑和计算树逻辑,由此产生并得到发展。最初,对命题时态逻辑(简称PTL)的提出与整理工作主要是Prior进行的,他对PTL的讨论使得之后的时态逻辑研究有了一个良好的基础。因此,以下将从Prior的工作开始,分为三个部分对与本文论题相关的研究概况进行介绍。第一部分:Prior与其他时态逻辑学家对PTL做的工作。对PTL进行公理化、形式化的工作是困难的,首先需要解决的问题是时间的本体论与认识论问题。这些问题的由来已久,可以追溯到古希腊亚里士多德时代,详细内容可以参见Ohrstrom(1995)。Prior试图建立形式逻辑系统以解决关于时间的哲学问题,当然,这种倾向是当时整个时代对逻辑