第2章第3節 真理条件と妥当性 【基本】¶
学習目標¶
この節では、クリプキ意味論における真理性と妥当性の概念を学習します。具体的には、帰納的真理定義を通じた複雑な論理式の真理性の段階的評価方法の習得、様相論理における妥当性・充足可能性・論理的含意・同値性の厳密な定義とその意味的特徴付けの理解、完全性と健全性という論理システムの根本的性質の把握を目標とします。
本節の概要
帰納的真理定義：複雑な様相式の真理性を、構成要素の真理性から再帰的に決定する厳密な数学的手法を確立する。
局所的vs大域的真理：特定世界での真理性と全世界での真理性を明確に区別し、論理式の意味論的性質を精密に分析する。
健全性と完全性：論理システムの理論的保証を理解し、意味論と証明論の対応関係を明確化する。
妥当性の判定：論理的推論の正しさを評価するための厳密な基準と、その判定手法を習得する。
前節でクリプキモデルの構造を学びましたが、この節では論理式の真理性を評価し、推論の妥当性を判定する方法を学習します。これらの概念は、様相論理の意味論における中核的な概念であり、論理システムの理論的基盤を提供します。
2.3.1 帰納的真理定義¶
真理の再帰的定義の必要性¶
クリプキモデルにおける論理式の真理性を定義するために、帰納的真理定義（Inductive Truth Definition）を構築します。これは、複雑な論理式の真理性を、その構成要素の真理性に基づいて段階的に決定する手法です。この再帰的アプローチにより、無限に多くの複雑な論理式の真理性を有限の規則で体系的に評価することが可能になります。
基本的な真理条件¶
クリプキモデル \(\mathcal{M} = (W, R, V)\) と世界 \(w \in W\) において、論理式 \(\phi\) の真理性 \(\mathcal{M}, w \models \phi\) を以下のように帰納的に定義します：
定義2.3.1 —— 帰納的真理定義
クリプキモデル \(\mathcal{M} = (W, R, V)\) と世界 \(w \in W\) における論理式の真理性を再帰的に定義する：
この定義の基本構造は、命題変数の真理性を付値関数で直接決定する基底ケースと、合成式の真理性を構成要素の真理性から決定する帰納ステップに分かれています。このアプローチの重要な意義は、無限に多くの複雑な式を有限の規則で体系的に評価可能にしたことです。
命題変数：
解題：モデル \(\mathcal{M}\) の世界 \(w\) で命題変数 \(p\) が真であるのは、世界 \(w\) が付値関数 \(V(p)\) の元素である場合、かつその場合に限る。
否定：
解題：否定式 \(\neg \phi\) が世界 \(w\) で真であるのは、\(\phi\) が \(w\) で真でない場合、かつその場合に限る。これは古典的な否定の意味である。
連言：
解題：連言式 \(\phi \land \psi\) が世界 \(w\) で真であるのは、\(\phi\) と \(\psi\) の両方が \(w\) で真である場合、かつその場合に限る。
選言：
解題：選言式 \(\phi \lor \psi\) が世界 \(w\) で真であるのは、\(\phi\) または \(\psi\) の少なくとも一方が \(w\) で真である場合、かつその場合に限る。
含意：
解題：含意式 \(\phi \rightarrow \psi\) が世界 \(w\) で真であるのは、\(\phi\) が \(w\) で假であるか、\(\psi\) が \(w\) で真である場合、かつその場合に限る。これは「前件が假なら含意は真」という古典的な原則である。
様相演算子の真理条件¶
様相演算子については、到達可能性関係を使用します：
必然性演算子 \(\Box\)：
解題：モデル \(\mathcal{M}\) の世界 \(w\) で必然性式 \(\Box \phi\) が真であるのは、\(w\) から到達可能なすべての世界 \(v\) で \(\phi\) が真である場合、かつその場合に限る。つまり「必然的に\(\phi\)」は「考えられるすべての状況で\(\phi\)」を意味する。
可能性演算子 \(\Diamond\)：
解題：モデル \(\mathcal{M}\) の世界 \(w\) で可能性式 \(\Diamond \phi\) が真であるのは、\(w\) から到達可能な少なくとも一つの世界 \(v\) が存在し、その世界で \(\phi\) が真である場合、かつその場合に限る。つまり「可能的に\(\phi\)」は「少なくとも一つの状況で\(\phi\)」を意味する。
様相演算子の記号と意味
| 記号 | 読み方 | 真理条件 |
|---|---|---|
| \(\mathcal{M}, w \models p\) | M、w モデルズ p | 世界wで命題pが真 |
| \(\mathcal{M}, w \models \Box \phi\) | M、w モデルズ ボックス・ファイ | wから到達可能なすべての世界でφが真 |
| \(\mathcal{M}, w \models \Diamond \phi\) | M、w モデルズ ダイヤモンド・ファイ | wから到達可能な少なくとも一つの世界でφが真 |
帰納的定義の意味¶
帰納的真理定義の本質は、複雑な論理式を単純な構成要素に分解し、それらの真理性から全体の真理性を決定することです：
基底ケース：命題変数の真理性は付値関数 \(V\) によって直接決定されます。 帰納ステップ：合成された論理式の真理性は、構成要素の真理性と論理結合子の意味によって決定されます。
具体例による理解¶
簡単な例で帰納的定義を適用してみましょう。論理式 \(\Box(p \rightarrow q) \land \Diamond p\) について：
この評価プロセスは以下のように進行します。まず主要結合子が \(\land\) であることを認識し、\(\Box(p \rightarrow q)\) と \(\Diamond p\) の両方が真でなければならないことを确認します。次に、\(\Box(p \rightarrow q)\) については到達可能なすべての世界で \(p \rightarrow q\) が真であるかどうかを評価し、\(\Diamond p\) については到達可能な少なくとも一つの世界で \(p\) が真であるかどうかを評価します。最後に、これら两条件がともに満たされる場合にのみ、全体の論理式が真と判定されます。
自然言語での理解¶
帰納的真理定義は、複雑な日常的表現を論理的に分析する際の基本的手法です：
複合的な条件の分析：「雨が降っていて、かつ風が強い」のような複合条件を、各構成要素（「雨が降っている」「風が強い」）の真偽から全体の真偽を決定します。
条件文の解釈：「もし明日晴れなら、必ず散歩に行く」という日常的な条件文を \(\text{晴れ} \rightarrow \Box \text{散歩}\) として形式化し、各要素の真理条件を明確化できます。
段階的な推論：複雑な推論を、より単純な推論ステップの積み重ねとして理解し、各段階での論理的正当性を検証できます。
2.3.2 局所的vs大域的真理¶
二つの真理概念の区別¶
様相論理における真理性には、局所的真理（Local Truth）と大域的真理（Global Truth）という重要な区別があります。この区別は、心理学的現象の理解において、特定の状況での真理性と普遍的な真理性を分離して考える際に有用です。
局所的真理¶
定義：論理式 \(\phi\) が特定のモデル \(\mathcal{M}\) の特定の世界 \(w\) で真であることを局所的真理といいます。
記法：\(\mathcal{M}, w \models \phi\)
特徴：
局所的真理は特定の文脈・状況・時点での真理性であり、その世界の具体的な状況に依存します。重要なのは、他の世界では異なる真理値を持つ可能性があることです。
大域的真理¶
定義：論理式 \(\phi\) がモデル \(\mathcal{M}\) のすべての世界で真であることを大域的真理といいます。
記法：\(\mathcal{M} \models \phi \text{ iff } \forall w \in W (\mathcal{M}, w \models \phi)\)
特徴：
大域的真理は、そのモデル全体を通じて普遍的に成立し、状況や文脈に依存しません。これは局所的真理よりも強い真理性の概念であり、より絶対的な妥当性を表現しています。
局所的真理と大域的真理の対比
| 概念 | 記法 | 意味 | 心理学的対応 |
|---|---|---|---|
| 局所的真理 | \(\mathcal{M}, w \models \phi\) | 特定の世界wでφが真 | 特定状況での心理状態 |
| 大域的真理 | \(\mathcal{M} \models \phi\) | すべての世界でφが真 | 普遍的心理法則 |
妥当性との関係¶
妥当性（Validity）は大域的真理の最も強い形です。
定義2.3.2 —— 妥当性
妥当性：論理式 \(\phi\) が妥当である \(\models \phi\) ↔ すべてのクリプキモデル \(\mathcal{M}\) で \(\mathcal{M} \models \phi\)
記法：\(\models \phi \text{ iff } \forall \mathcal{M} (\mathcal{M} \models \phi)\)
意味：妥当な論理式は、あらゆる可能な状況で普遍的に成立する絶対的真理である
つまり、すべてのモデルで大域的に真である論理式が妥当であり、これは論理学における最も強い真理性の概念です。
具体例による理解¶
以下の例で両概念の違いを確認しましょう：
局所的真理の例： 論理式 \(p\)（「今日は雨」）について、現実世界では \(\mathcal{M}_{real}, w_{today} \models p\) が真かもしれませんが、他の可能世界や他の日では偽になります。
大域的真理の例： 論理式 \(p \lor \neg p\)（排中律）について、任意のモデルのすべての世界で真となるため、\(\mathcal{M} \models p \lor \neg p\) が成り立ちます。
日常的な例による理解¶
具体的vs一般的な真理： この区別を日常的な例で考えてみましょう。局所的真理の例としては「今日は雨が降っている」というように、特定の時点・場所での状況が挙げられます。一方、大域的真理の例としては「水は100度で沸騰する」というように、あらゆる状況で成り立つ自然法則があります。
文脈依存性の表現： 多くの命題は文脈依存的です。「静かである」という命題も、図書館では真、工事現場では偽になる可能性があります： 図書館の世界 \(w_1\) では \(\mathcal{M}, w_1 \models \text{静か}\) が成り立ち、工事現場の世界 \(w_2\) では \(\mathcal{M}, w_2 \not\models \text{静か}\) となります。
条件の効果： 条件の効果も、この区別で分析できます： 「日光があれば植物は成長する」という命題についても、局所的効果（特定の条件下でのみ成立）と大域的効果（様々な条件で一貫して成立）として区別することができます。
論理学的意義¶
命題の分類：命題を定式化する際、局所的真理を目指すのか大域的真理を目指すのかを明確にすることで、論理式の意味範囲が明確になります。
妥当性の概念：論理的推論の妥当性は、前提が真であるすべての状況で結論も真となることを要求します。これは大域的真理の概念と密接に関連しています。
論理法則の性質：異なる論理的文脈で得られた結論を統合する際、局所的真理を大域的真理へと拡張する論理的根拠を明確化できます。
2.3.3 完全性と健全性¶
「証明できる」と「本当に正しい」が一致するか：料理レシピの信頼性で例える¶
論理システムを評価するとき、とても重要な問題があります： 第一に、システム内で「証明できる」とされた文は、本当に正しいのでしょうか。第二に、本当に正しい文は、システム内で必ず証明できるのでしょうか。
料理レシピの信頼性で考えてみましょう：
健全性（レシピの信頼性）：「レシピ通りに作れば必ず美味しい料理ができる」 - もしレシピ本に載っている手順があったら、それは実際に美味しい料理が作れる方法でなければいけません - 間違ったレシピが「完璧な手順」として載っていては困りますね - 論理では：「証明できる式は必ず正しい」
完全性（レシピの網羅性）：「美味しい料理は必ずレシピで作れる」 - 逆に、本当に美味しい料理なら、どこかにレシピが存在するはずです - レシピで表現できない美味しい料理があったら、そのレシピ集は不完全ということになります - 論理では：「正しい式は必ず証明できる」
数学の教科書の例：
健全性：「教科書に書いてある公式は本当に正しい」 もし教科書で証明された式があったら、それは実際に正しい式でなければいけません。間違った式が「証明済み」とされていては困りますね。
完全性：「正しい式は必ず教科書で証明できる」
逆に、本当に正しい数学の式なら、教科書の方法でも必ず証明できるはずです。証明できない正しい式があったら、その教科書は不完全ということになります。
これらの問いに答えるのが、健全性と完全性という二つの重要な概念です。
定義2.3.3 —— 健全性と完全性
健全性（Soundness）：\(\mathcal{L} \vdash \phi \Rightarrow \models \phi\) — 証明可能な論理式は必ず妥当である
完全性（Completeness）：\(\models \phi \Rightarrow \mathcal{L} \vdash \phi\) — 妥当な論理式は必ず証明可能である
意義：健全性は理論の信頼性を、完全性は理論の完全さを保証する
この2つが両方成り立つ論理システムは「完璧」と言えるでしょう。
健全性と完全性の形式表現
| 概念 | 記号的表現 | 意味 |
|---|---|---|
| 健全性 | \(\mathcal{L} \vdash \phi \Rightarrow \models \phi\) | 証明可能なら妥当 |
| 完全性 | \(\models \phi \Rightarrow \mathcal{L} \vdash \phi\) | 妥当なら証明可能 |
クリプキ意味論の完全性定理¶
定理 3.1（クリプキの完全性定理）：標準的な様相論理K、T、S4、S5は、対応するクリプキフレームのクラスに対して健全かつ完全である。
この定理は、構文的推論と意味論的真理が完全に対応することを保証し、様相論理の数学的基盤を確立しています。
論理学的意義¶
理論の一貫性：論理理論の構築において、健全性は理論の内的一貫性を保証します。理論から導出されるすべての定理が、基本公理と論理的に整合している必要があります。
理論の完全性：完全性は、理論の記述力の完全さを意味します。意味論的に妥当なすべての論理式が、証明論的にも導出可能でなければなりません。
健全性と完全性の成立により、「証明できること」と「意味論的に正しいこと」が完全に一致し、論理システムの理論的基盤が確立されます。
2.3.4 決定可能性と計算複雑性¶
決定問題¶
決定問題：与えられた論理式が特定のフレームクラスで妥当かどうかを機械的に判定できるかという問題です。
定理 3.2：基本様相論理Kの妥当性判定はPSPACE完全である。これは、実用的な時間内での完全な自動証明が困難であることを意味します。
定理 3.3：S5論理の妥当性判定はNP完全であり、Kより効率的に判定可能です。
実用的な計算上の制約¶
計算資源の制限：論理式の妥当性判定は計算資源に制約があるため、完全な自動証明より効率的なアルゴリズムが実用上重要です。
近似アルゴリズム：PSPACE完全問題に対しては、正確だが遅いアルゴリズムの代わりに、近似的だが高速なアルゴリズムが有用な場合があります。
制限された証明探索：完全な証明探索の代わりに、制限された深さでの証明探索や、ヒューリスティックに基づく証明戦略が実際のシステムでは採用されます。
まとめ¶
この節では、クリプキ意味論における真理条件と妥当性の概念を学習しました。重要なポイントは以下の通りです：
帰納的真理定義により、複雑な様相式の真理性を構成要素から段階的に評価する厳密な手法が確立されました。局所的真理と大域的真理の区別により、特定状況での成立と普遍的な成立を明確に分析できます。
妥当性概念により、論理式の意味論的性質を厳密に評価し、論理的推論の正しさを判定できます。論理的含意と同値性により、異なる論理式の関係を形式的に分析できます。
健全性と完全性により、推論システムの理論的保証が得られます。意味論と証明論の完全な対応が確立され、様相論理の数学的基盤が確実なものとなります。決定可能性と計算複雑性の考察により、実用的な証明システムの制約と可能性が明確化されます。
第2章の総括と次章への展望¶
第2章「クリプキ意味論」を通じて、様相論理の意味論的基礎を確立しました。可能世界の直観から始まり、数学的に厳密なクリプキモデル、そして真理条件と妥当性まで、一貫した理論的枠組みを構築しました。
次の第3章では、様相論理の様々な体系（K、T、S4、S5など）とその公理的特徴付けを学習し、異なる様相概念に対応する論理システムの構築方法を習得します。
参考文献¶
- Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge University Press.
- Chellas, B. F. (1980). Modal Logic: An Introduction. Cambridge University Press.
- Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning About Knowledge. MIT Press.
- Goldblatt, R. (1992). Logics of Time and Computation (2nd ed.). CSLI Publications.
- Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. Routledge.
- Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83-94.
- van Benthem, J. (2010). Modal Logic for Open Minds. CSLI Publications.