网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 标题 | 时态逻辑 |
| 类别 | 哲学 |
| 释义 | 时态逻辑 tense logic;chronological logic 亦称“时序逻辑”。研究含有时态词的命题形式和推理形式，目的是把与时间有关的推理系统化。现代逻辑的分支学科之一。是在数理逻辑的两个演算已经成熟，模态逻辑已有相当发展且有了现代语言学的条件下，对模态逻辑加以扩展，引进另外一种模态算子——时态算子而建立起来的。它是由西方逻辑学家研究英语动词的时态语句开始的，并且受到古代逻辑对时态的研究和运用的启迪。在古希腊，麦加拉学派的著名逻辑学家第奥多鲁就曾用过去、现在、将来等时态概念来定义模态概念：可能的——或(现在)是真的或将是真的;不可能的——既是假的将永不真的;必然的——既是真的且将永不假的;非必然的——或是假的或将是假的。他还将时态概念用于蕴涵：如果p那么q，当且仅当任何时刻t都并不是在t时刻p真并且在t时刻q假。这为现代时态逻辑的创立提供了宝贵的材料。英国逻辑学家普莱尔(A.N.Prior， 1914— )在1955年的《第奥多鲁模态》论文和1957年的《时态与模态》一书中提出了时态逻辑，成为时态逻辑的创始人。他在两个演算的基础上加入时态算子，增加几条时态公理，构造了时态逻辑系统。此后，一些逻辑学家又陆续地构造了不同的时态逻辑系统。在时态逻辑中，将语句分为时间上确定的语句和时间上不定的语句。后者是含有时态词的语句，表达一个不确定的时间，它所表达的命题的真假要依赖于陈述它的时间，因而是时态逻辑研究的重点。为了实现时态命题的形式化，按照普莱尔关于时态逻辑特有的常项是：“情况曾是”“情况现在是”和“情况将是”的观点，在时态逻辑中引进三个基本的时态算子。p表示过去时算子，Pp表示过去时命题，例如：昨天下了大雨=Pp。T表示现在时算子(通常可省略)，Tp表示现在时命题，例如：孩子们正在唱歌跳舞=Tp。F表示将来时算子，Fp表示将来时命题。例如：明年将发射一颗新的通讯卫星=Fp。通过P和F去定义，还可以引进其他的时态算子。H表示“情况曾总是”，是作为P 的一种缩写。G表示“情况将总是”，是作为F 的一种缩写。有了H和G，就可以作出全时间性的陈述：Hp∧p∧Gp。它表示p在过去、现在和将来的所有时候都真。普莱尔建立的时态逻辑，在语言中引入P、T、F算子，是一种较弱的系统，有些时态语句不能在其中表达。说话的时间这一因素，在时态逻辑中有重要意义。时态命题的真值，就是以不带时态算子的原子命题在某个时间点为真时作为参考点来决定的。在时态命题基本形式的基础上，结合命题联结词(否定)、∨(析取)、∧(合取)、→(蕴涵)、↔(等值)，就构成时态命题的复合形式。当我们将时态命题分析为主词、谓词和量词，并用个体词、谓词、全称量词和存在量词的符号表示时，能显示更多的时态命题形式以及和它有关的推理形式，从而构造演算系统。在时态命题中，如果引进□(必然)和◇(可能)模态算子，就可构成时态模态命题，从而可以更精确更丰富地表达时态逻辑。时态逻辑是现代逻辑和自然语言结合的产物。它的研究方法或者说它的研究工具是现代数理逻辑，它使用的是完全形式化的表意符号，是一个完全形式化了的公理系统。但时态又具有自然语言的特色，时态是有语境的，是有民族性的，研究时态逻辑必须结合这些因素。以往的逻辑是撇开时间因素的，它把语句中的时态词当作是无关的东西而撇开不管。比如：“鲁迅曾经是进化论者。”以往的逻辑就分析为S是P，而对其中的“曾经”撇开不管。时态逻辑将时间因素纳入逻辑，对时态语句作出精细的刻画。如“所有人都曾经是小孩”有两种解释，可分别刻画：每人都曾有一个时候是小孩(这是真的)，记作(ᗄx)PA(x);有一个时候，所有人都是小孩(这是假的)，记作P((ᗄx)A(x))。时态逻辑的建立，使得逻辑可以精确地刻画哲学、科学技术中的时间概念，可以处理自然语句中更多的逻辑问题，从而丰富和发展了逻辑学。 |
| 随便看 |
|
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。