[论文解读] There exist consistent temporal logics admitting changes of History

Gavriel Segre|ArXiv.org|Dec 3, 2006

Advanced Database Systems and Queries被引用 3

一句话总结

本文证明，一致的时序逻辑可以在不产生矛盾的情况下容纳对过去的改变，挑战了因果循环必然违反逻辑一致性的假设。通过在经典命题逻辑中引入时序算子，并基于历史变化下的真值保持性定义一致性条件，作者证明此类逻辑既能保持一致，又能允许回溯因果影响。

ABSTRACT

Introducing his Chronology Protection Conjecture Stephen Hawking said that it seems that there exists a Chronology Protection Agency making the Universe safe for historians. Without taking sides about such a conjecture we show that the Chronology Protection Agency is not necessary in order to make the Universe unsafe for historians but safe for logicians.

研究动机与目标

• 研究时序逻辑是否能在过去被改变的情况下仍保持一致，反驳此类改变必然导致逻辑不一致的假设。
• 挑战物理上对具有局部时间性破坏区域的非全局双曲时空的排斥态度，主张其在基础物理中应被认真对待。
• 证明诸如诺维科夫猜想中的一致性条件，可在经典命题逻辑中形式化，而无需依赖量子引力或人为设定的公理。
• 提供一个允许回溯因果影响的逻辑框架，但通过历史转换下的真值保持性避免矛盾。

提出的方法

• 在二元字母表 Σ = {0, 1} 上形式化经典命题逻辑，使用标准联结词：¬, ∧, ∨, →, ↔。
• 引入时序算子 G（未来全称）、H（过去全称）、F（未来存在）、P（过去存在）以建模时间量化。
• 通过要求命题真值在历史之间转换时保持不变，定义历史变化的一致性条件。
• 建立逻辑定理，如双重否定、矛盾律、德摩根定律以及归谬法，以确保系统内部的一致性。
• 使用逆否规则和假言推理原则，推导系统内有效的推理规则。
• 将该框架应用于具有时间性破坏集合的时空模型，表明即使存在因果循环，逻辑一致性仍可保持。

实验结果

研究问题

• RQ1 能否构建一种一致的时序逻辑，使其在允许过去被改变的情况下不产生逻辑矛盾？
• RQ2 在允许过去被改变的系统中，是否逻辑上容许存在回溯因果影响，只要真值在历史转换下保持不变？
• RQ3 时空中的时间性破坏集合的存在是否必然意味着形式化时序逻辑中的逻辑不一致？
• RQ4 经典命题逻辑若附加时序算子，能否作为推理时间旅行的基石，而无需依赖量子引力或人为设定的公理？
• RQ5 为确保历史改变不会在时序系统中导致矛盾，必须满足哪些逻辑条件？

主要发现

• 本文证明，若真值在历史转换下保持不变，经典命题逻辑附加时序算子可在过去被改变的情况下仍保持一致。
• 系统中保持成立的定理包括矛盾律（¬(x ∧ ¬x)）和排中律（x ∨ ¬x），确认经典逻辑结构得以保留。
• 正式推导出斯科特斯定理（ex absurdo quodlibet），表明从矛盾可推出任意命题，确认标准经典逻辑行为。
• 系统满足假言推理（modus ponens）和拒取式（modus tollens），确保推理规则在历史变化下保持有效。
• 通过真值保持性条件，系统在回溯因果影响下仍保持一致性，避免了祖父悖论等自指悖论。
• 该框架无需依赖量子引力或时间保护猜想即可保证一致性，表明只要适当地形式化，经典逻辑本身即可处理因果循环。