[論文レビュー] 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）といった定理がシステム内で成立し、古典的論理的構造が保たれていることが確認された。
• スコットスの定理（背理から任意の命題が導かれる）が形式的に導出され、矛盾から任意の命題が導かれるという標準的な古典論理の振る舞いを確認した。
• モード・ポネンスとモード・トレントスがシステム内で満たされており、歴史変更の下でも妥当な推論規則が保たれている。
• 逆行的因果関係の下でも、真偽値保存条件によって論理の一貫性が維持され、グランドファーザー・パラドックスのようなパラドックスを避けることができる。
• 量子重力や時空保護予想を必要とせず、適切に形式化された古典論理だけで因果的ループを扱えることが示唆された。