Intrinsic and relative characterization results for logics with negative modalities

「もしも」と「現実」の論理学

あなたは、一連のルールを用いて世界を記述しようとしていると想像してください。このゲームの最も有名なバージョンである「古典論理」では、あらゆる命題は明確な「イエス」か「ノー」のどちらかになります。「雨が降っている」と言い、もし降っていなければ、その命題は単に「偽（false）」です。そこには中間も、混乱も、「おそらく」が入る余地もありません。このシステムは数学やコンピュータ回路には完璧に機能しますが、人間の思考のような、もっとらへんとした不確実な現実を記述しようとすると苦戦します。人間はよく、「雨が降るかもしれないと思う」とか、「それが本当かどうか確信がない」といった言い方をするからです。

この「ややこしさ」に対処するために、論理学者たちは「非古典論理」と呼ばれるシステムを考案しました。これらは、グレーゾーンを許容する論理の「特殊な方言」のようなものです。これらの体系では、命題は厳密な「偽」ではなく単に「否定」されたり、厳密な「真」ではなく単に「主張」されたりすることがあります。しかし、この柔軟性には代償が伴います。ルールは複雑になり、かつて当たり前だと思っていたことを証明できなくなる場合があるのです。これを解決するために、論理学者たちは「復元（restoration）」ツール、つまり必要に応じてシステムを元の硬直した状態へとパチリと戻すことができる特別なスイッチを考案しました。ここで大きな疑問となるのは、「これらの異なる論理の世界をどのように比較するか？」ということです。異なる見た目を持つ二つのシナリオが、その根底では実は同じものであることを、どうすれば知ることができるのでしょうか？ この論文は、まさにその入り口に立ち、これらの奇妙な論理的風景をナビゲートするための新しい地図を提示しています。

---

論文の核心：新しい種類の鏡

ジム・デ・グート、ジョアン・マルコス、ロドリゴ・ステファネスによるこの論文は、非常に特殊でトリッキーな鍵穴に対する「マスターキー」のようなものです。その鍵穴とは、「復元様相論理（restorative modal logics）」と呼ばれる一連の論理体系です。これらは、標準的な「肯定的」な論理（「かつ」「または」「真」「偽」など）と、いくつかの奇妙な「非古典的」な否定（通常の「ノー」とは振る舞いが異なる「ノー」の言い方）、そして特別な「復元」演算子（奇妙さを修正し、通常の論理を取り戻そうとするツール）を組み合わせたものです。

著者たちの主な目的は、これらの論理体系における異なる二つの世界が、本質的に同じであるかどうかを判断する方法を見つけることでした。標準的な論理の世界には、「双模倣（bisimulation）」と呼ばれる有名なツールがあります。双模像を「完璧な鏡」と考えてみてください。もし二つの世界があり、それらの間を往復しながらあらゆる細部をチェックでき、常に全く同じに見えるならば、それらは「双模倣的（bisimilar）」であると言えます。標準的な論理において、二つの世界が双模倣的であれば、それらは書きうるあらゆる文章に対して一致します。

しかし、ここでの問題は、これらの新しい奇妙な論理体系では、この「鏡」が壊れてしまうことです。なぜなら、「ノー」のルールが異なるため、完璧な鏡はあまりにも厳格すぎるからです。完璧な鏡は、本来一致する必要のないものまで一致することを強いてしまいます。著者たちは、より弱く、より柔軟な種類の鏡が必要であることに気づきました。彼らはそれを「シミュレーション（simulation）」と呼びました。

シミュレーションとは何か？
あなたが二つの異なるビデオゲームのレベルを見ていると想像してください。「双模倣（bisimulation）」であれば、レベルAで穴を飛び越えられるなら、レベルBでも穴を飛び越えられなければなりませんし、その逆も然りです。これは双方向の道です。

しかし、「シミュレーション」は一方通行の道です。それはこう言います。「もしレベルAでできることがあるなら、レベルBでもそれができなければならない」。しかし、レベルBがレベルAにはない追加要素を持っているかどうかについては関知しません。これは「包含関係（subsumption）」の関係です。もし世界Aが世界Bをシミュレートできるなら、世界Bは世界Aと同等以上に「強力」または「豊か」であると言えます。著者たちは、これらの特殊な否定を持つ論理においては、この一方通行の道こそが完璧なツールであることを証明しました。これは、世界があらゆる不可能な方法で同一であることを強制することなく、公式の真実性を保持するのです。

二つの大きな発見

この論文は、著者たちが「特性付け定理（characterization theorems）」と呼ぶ二つの主要な結果を提示しています。これらは、同じ領域を説明するための二つの異なる方法だと考えてください。

1. 内在的特性付け（「ヘネシー＝ミナー」の結果）
この結果は、「いつ二つの世界は論理的に等価になるのか？」という問いに答えます。
著者たちは、これらの特定の論理において、二つの世界が論理的に等価である（あらゆる可能な文章に一致する）ための必要十分条件は、両方向からシミュレーションによって結ばれていることである、と証明しました。

• 比喩： 二人の刑事が犯罪を捜査していると考えてみましょう。もし刑事Aが刑事Bが見つけられるすべての手がかりを見つけられ、かつ刑事Bが刑事Aが見つけられるすべての手がかりを見つけられるのであれば、彼らは実質的に同じ事件を捜査していることになります。論文は、これらの論理体系において、二つの世界が互いに「シミュレート」し合えるならば、それらは言語によって区別できないことを証明しています。これは極めて重要なことです。なぜなら、すべての文章を書き出すことなく、構造的かつ視覚的な方法で論理的一致を確認できる手段を与えるからです。

2. 相対的特性付け（「ファン・ベンテム」の結果）
この結果は、「この特定の言語は、論理という大きな絵のどの部分をカバーしているのか？」という問いに答えます。
著者たちは、これらの復元論理の言語が、シミュレーションを用いた際に変化しない「一階述語論理（数学で使用される、より大きく強力な言語）」の部分と全く同じであることを示しました。

• 比喩： 一階述語論理を、宇宙の高解像度写真だと考えてください。復元様相論理は、その写真の上に置かれた特定のフィルターのようなものです。著者たちは、このフィルターが、「シミュレーションのレンズ」を通して見たときに変化しない部分を正確に捉えていることを証明しました。もし大きな言語の中の文章が、世界をシミュレートした際に変化するのであれば、それはこの特定の論理言語の一部ではありません。もし変化しないのであれば、それはその一部です。これにより、これらの論理の正確な「表現力」が定義されます。

この論文が否定するもの

何が「機能しないか」を知ることも同様に重要です。著者たちは、従来の標準的な「双模倣（bisimulation）」（完璧な鏡）をこれらの論理にそのまま適用することはできないと明確に示しています。もし厳格な双方向の鏡を使おうとすれば、失敗することになります。実際に異なる世界を区別できなかったり、あるいは二つの世界が同じであることを見逃したりすることになります。

さらに、彼らは、これらの論理の最も基本的なバージョン（追加のルールがない場合）では、利用可能なツールのみを使って「古典的否定（真を偽に、偽を真に入れ替える完璧な「ノー」）」を定義することは不可能であることを証明しています。世界を「反射的」または「対称的」にするなどの追加のルールを加えない限り、利用可能な道具だけで完璧な「ノー」を構築することはできません。これは極めて重要な発見です。つまり、これらの論理は標準的な論理とは根本的に異なっており、いくつかの定義を追加しただけで同じものとして扱うことはできないのです。

彼らの確信度

著者たちは非常に自信を持っています。彼らは単に推測したりシミュレーションしたりしたのではなく、数学的にこれらを証明しました。

• 彼らは「妥当性定理（Adequacy Theorem）」（シミュレーションが真実性を保持することを示す）について、厳密な証明を提供しました。
• 彼らは「内在的特性付け」（論理的一致がシミュレーションに等しいことを示す）について、厳密な証明を提供しました。
• 彼らは「相対的特性付け」（一階述語論理との関連を示す）について、厳密な証明を提供しました。

さらに彼らは、もし「古典的否定」を混ぜ合わせたとしても、彼らの新しいシミュレーション・ツールは依然として機能し、それは既知の標準的な「双模倣」へと変化することさえも示しました。この一貫性のチェックは、彼らの新しいツールが単なるランダムな発明ではなく、古いツールの自然な一般化であることを示しており、彼らの知見をより強固なものにしています。

なぜこれが重要なのか

なぜ好奇心旺盛なティーンエイジャーが「復元様相論理」に興味を持つ必要があるのでしょうか？ それは、これらのシステムが、コンピュータやAIが不確実性をどのように扱うかを理解するための構成要素だからです。AIが「それが真実かどうか確信がない」と言うとき、それは非古典論理の中で動作しています。そして、意思決定のためにその不確実性を「修正」しようとするとき、それは復元演算子を使用しています。

この論文は、これらの不確実な世界の「形」を理解するための道具を与えてくれます。それは、どのように比較できるか、そしてそれらについて何を言えるのかを正確に教えてくれます。これは、誰もが「プレイ不可能」だと思っていたゲームの新しいルールセットを見つけ出し、そのゲームが実は非常に構造化されており、非常に論理的であり、プレイする価値が十分にあるものであることを示すようなものです。著者たちは、かつては霧に包まれたジャングルのようだった領域に地図を描き、たとえ「たぶん」や「完全ではない」が支配する土地であっても、そこには深く美しい秩序が発見されるのを待っていることを証明したのです。