17、分支时间作为概念结构：时态逻辑的探索

分支时间作为概念结构：时态逻辑的探索

1 A.N. Prior的时态逻辑

如何理解和表示现实，这是A.N. Prior（1914 - 1969）逻辑和哲学中的关键问题。他尤其关注现实的时间和模态方面，是现代时态逻辑的创始人。

Prior认为只有当下是真实的，过去是曾经真实的，未来是将会变得真实的，他使用“时间实在论”来描述自己的本体论立场。在他看来，时间不是一个对象，而是所有真实的事物存在和行动的背景。我们可以通过描述事件之间的先后关系来描述大部分时间里发生的事情，但这种先后关系的演算只是一种方便但间接的表达方式，真正重要的是事物本身以及它们正在做、已经做和将要做的事情。

Prior强调过去、现在和未来的区分对于正确理解客观世界至关重要。他认为事件是真实发生的，而不是像Eddington所说的“我们只是遇到它们”。此外，他还认为自由选择在现实世界中非常重要，过去一旦发生就无法改变，但未来在一定程度上是我们可以塑造的，而无时间性的逻辑无法表达这种区别。

Prior主张将对变化的研究视为逻辑的重要组成部分，他批评了只研究不变（永恒）真理的常见逻辑方法。他认为逻辑不仅应该关注不变的真理，也应该关注变化的真理，时态逻辑的研究不仅能带来实际的好处，如在计算机电路中表示时间延迟，更重要的是能准确地从哲学角度描述时间流逝的现实。

Prior在1957年出版的《时间与模态》一书中首次详细阐述了他的时态逻辑方法。这本书基于他1956年在牛津大学的约翰·洛克讲座，有力地论证了用时态逻辑理解现实的重要性。虽然时态逻辑的发展是一项迷人但复杂的任务，会带来许多挑战，但它对于深入理解现实的时间方面至关重要。

1.1 Prior的核心观点总结 </