第3章第2節　古典的様相論理【基本】¶

学習目標¶

この節では、論理Kに様々な公理を追加することで得られる古典的な様相論理体系を学習します。具体的には、T、D、S4、S5という代表的な体系の特徴と相互関係の理解、各体系の公理とフレーム条件の対応関係の把握、知識と信念の論理的モデル化への応用の理解、そして体系間の包含関係と強さの階層の認識を目標とします。

本節の概要

古典的体系の階層：論理Kを基礎として、T、S4、S5などの古典的様相論理体系が段階的に構築され、それぞれが異なる哲学的直観を形式化する。

公理とフレーム条件の対応：各公理が特定のフレーム性質（反射性、推移性、対称性など）と美しく対応し、意味論と構文論を結びつける。

認識論的解釈の始まり：これらの体系が知識、信念、確実性などの認識的概念の形式的モデルとして機能する可能性を示す。

前節で学んだ最小正規様相論理Kは、すべての正規様相論理の基礎となりますが、多くの応用においては強すぎる制約を持ちません。この節では、Kに追加の公理を加えることで、より豊かな推論能力を持つ古典的な様相論理体系を構築します。

3.2.1 論理T：真理性の要求¶

T公理の導入¶

論理Tは、最小正規様相論理KにT公理（真理性公理）を追加した体系です。この一見単純な追加が、様相論理の解釈に大きな変化をもたらします。

定義3.2.1 —— 論理T

論理T：論理Kに以下の公理を追加した体系

T公理：\(\Box\varphi \to \varphi\)

読み方：「必然的にφならば、φである」

フレーム条件：反射性（\(\forall w \in W: wRw\)）

T公理の直観的な意味を考えてみましょう。「必然的に真であることは、実際に真である」という原理は、日常的な推論において自然に受け入れられます。例えば、「必然的に2+2=4である」ならば、実際に「2+2=4」でなければなりません。もし必然的真理が現実と乖離する可能性があるとすれば、「必然性」という概念自体の意味が揺らいでしまいます。

反射性との対応¶

T公理は、クリプキフレームの反射性と完全に対応します。反射性とは、すべての世界が自分自身に到達可能であるという性質です。この対応関係を理解するために、具体的な状況を考えてみましょう。

ある世界\(w\)で「\(\Box\)雨が降る」が真であるとします。これは、\(w\)から到達可能なすべての世界で「雨が降る」が真であることを意味します。もしフレームが反射的であれば、\(w\)は自分自身にも到達可能なので、\(w\)自身でも「雨が降る」が真でなければなりません。これがまさにT公理が表現している内容です。

逆に、T公理が成り立つためには、フレームは反射的でなければなりません。なぜなら、反射性がなければ、ある世界から自分自身に到達できず、その世界で\(\Box\varphi\)が真でも\(\varphi\)が偽となる可能性があるからです。

論理Tの定理と推論¶

論理Tでは、論理Kのすべての定理に加えて、T公理から導かれる新たな定理が証明可能になります。

定理3.2.1：\(\vdash_T \Diamond\varphi \to \lnot\Box\lnot\varphi\)

この定理は「可能であることは、その否定が必然的ではない」という、可能性に関する基本的な原理を表現しています。日常的な例で言えば、「明日晴れる可能性がある」ならば「明日晴れないことが必然的ではない」ということです。

論理Tにおける推論の特徴は、必然性から現実性への橋渡しができることです。これにより、抽象的な必然的真理から、具体的な現実世界の真理を導出できるようになります。

知識の論理としての解釈¶

論理Tは、しばしば知識の論理の最小モデルとして解釈されます。知識に関する基本的な原理として、「知っていることは真である」（知識の真理性）があります。誤った信念は「知識」とは呼べません。

この解釈の下では、\(\Box\)を「知っている」と読み、T公理は「知っていることは真である」となります。ただし、論理Tは知識の他の重要な性質（例えば、知識についての知識）をまだ捉えていません。より完全な知識の論理については、後述するS4やS5で扱います。

3.2.2 論理D：一貫性の保証¶

D公理と系列性¶

論理Dは、論理KにD公理を追加した体系で、様相概念の一貫性を保証します。

定義3.2.2 —— 論理D

論理D：論理Kに以下の公理を追加した体系

D公理：\(\Box\varphi \to \Diamond\varphi\)

読み方：「必然的に\(\varphi\)ならば、\(\varphi\)は可能である」

フレーム条件：系列性（\(\forall w \in W \exists v \in W: wRv\)）

D公理は、必然性と可能性の間の基本的な関係を確立します。「必然的に真であることは、少なくとも可能でなければならない」という原理は、論理的一貫性の要求を表現しています。もし何かが必然的でありながら不可能であるとすれば、それは明らかな矛盾です。

系列性（シリアル性）は、「すべての世界から少なくとも一つの世界に到達可能」という性質です。これは、どの世界も「行き止まり」ではないことを意味します。日常的な比喩で言えば、どの状況からも何らかの「次の状況」が想定可能であるということです。

義務論理への応用¶

論理Dは、義務論理（Deontic Logic）の基礎として重要な役割を果たします。\(\Box\)を「義務である」と解釈すると、D公理は「義務であることは可能でなければならない」という原理になります。これは「べきは可能を含意する」（ought implies can）という倫理学の基本原理を形式化したものです。

例えば、「正直であることが義務である」ならば、「正直であることは可能でなければならない」ということです。不可能なことを義務とすることは、道徳的に不合理だという直観を反映しています。

論理Dと論理Tの関係¶

興味深いことに、論理DはT公理を含みません。つまり、「必然的に\(\varphi\)」から「\(\varphi\)」を導出することはできません。これは義務論理の文脈で特に重要です。「\(\varphi\)が義務である」からといって「\(\varphi\)が実際に成り立つ」とは限りません。人々は義務を果たさないこともあるからです。

一方で、論理Tは系列性を含意します。反射性があれば、各世界は少なくとも自分自身に到達可能だからです。したがって、フレーム条件の観点から、論理Tは論理Dよりも強い体系となります。

3.2.3 論理S4：推移的な必然性¶

正の内省原理¶

論理S4は、論理Tに4公理を追加した体系で、必然性の推移性を捉えます。

定義3.2.3 —— 論理S4

論理S4：論理Tに以下の公理を追加した体系

4公理：\(\Box\varphi \to \Box\Box\varphi\)

読み方：「必然的に\(\varphi\)ならば、必然的に必然的に\(\varphi\)」

フレーム条件：反射性と推移性

4公理は「正の内省」（positive introspection）とも呼ばれ、必然性についての高次の必然性を表現します。この原理を日常的な文脈で理解してみましょう。

数学的真理を例に取ると、「2+2=4が必然的に真である」ならば、「『2+2=4が必然的に真である』ということ自体も必然的に真」となります。つまり、必然的真理の必然性は、それ自体も必然的なのです。

推移性の意味¶

フレームの推移性は、到達可能性の連鎖を表現します。世界\(w_1\)から\(w_2\)へ、\(w_2\)から\(w_3\)へ到達可能ならば、\(w_1\)から直接\(w_3\)へも到達可能であるという性質です。

この性質を認識的に解釈すると、「考えられる状況から、さらに考えられる状況は、最初から考えられる状況である」となります。推論の連鎖において、中間段階を経由して到達できる結論は、直接到達できる結論でもあるということです。

S4の定理と証明力¶

論理S4では、必然性の「積み重ね」に関する強力な定理が証明可能になります。

定理3.2.2：\(\vdash_{S4} \Box\varphi \leftrightarrow \Box\Box\varphi\)

この定理は、S4において\(\Box\)の反復が冗長であることを示しています。「必然的」と「必然的に必然的」が同値になるのです。これにより、S4では必然性演算子の任意の有限回の反復を単一の\(\Box\)に簡約できます。

定理3.2.3：\(\vdash_{S4} \Diamond\Diamond\varphi \to \Diamond\varphi\)

可能性についても同様の簡約が成り立ちます。「可能的に可能」は単に「可能」と同じです。これらの性質により、S4における様相式の正規形が大幅に簡略化されます。

知識の論理としてのS4¶

S4を知識の論理として解釈すると、T公理は「知識の真理性」、4公理は「知識についての知識」（KK原理）を表現します。つまり、「知っていることは真であり、知っていることを知っている」という、理想的な認識主体のモデルとなります。

ただし、人間の実際の認識はS4ほど理想的ではありません。人は自分が知っていることを常に知っているわけではなく、また知らないことを知らない場合もあります。この点で、S4は規範的な知識概念のモデルと考えるべきでしょう。

3.2.4 論理S5：完全な内省¶

負の内省原理¶

論理S5は、論理S4に5公理を追加した、古典的様相論理の中で最も強力な体系です。

定義3.2.4 —— 論理S5

論理S5：論理S4に以下の公理を追加した体系

5公理：\(\Diamond\varphi \to \Box\Diamond\varphi\)

読み方：「\(\varphi\)が可能ならば、必然的に\(\varphi\)は可能」

フレーム条件：同値関係（反射性、対称性、推移性）

5公理は「負の内省」（negative introspection）とも呼ばれます。4公理が「知っていることを知っている」を表現するのに対し、5公理は「知らないことを知っている」という、より深い自己認識を表現します。

この原理の直観的な理解は少し難しいかもしれません。「何かが可能である」という事実自体は、必然的な事実だということです。例えば、「火星に生命が存在する可能性がある」ならば、この可能性自体は必然的な（変わらない）事実だという考え方です。

同値関係と可能世界の構造¶

S5のフレーム条件である同値関係は、非常に強い制約です。同値関係により、可能世界は互いに分離した同値類に分割されます。各同値類内では、すべての世界が相互に到達可能となります。

この構造を図式的に理解すると、S5フレームは「完全グラフの集まり」のようになります。各連結成分内では、どの世界からも他のすべての世界が「見える」状態です。これは、完全な相互認識が可能な理想的な状況を表現しています。

S5における様相の崩壊¶

S5の驚くべき性質の一つは、複雑な様相式が大幅に簡略化されることです。

定理3.2.4：S5において、任意の様相式は以下のいずれかの形に簡約可能

\(\varphi\)（様相演算子なし）
\(\Box\varphi\)（単一の\(\Box\)）
\(\Diamond\varphi\)（単一の\(\Diamond\)）
\(\Box\Diamond\varphi\)または\(\Diamond\Box\varphi\)（交互の様相演算子）

この「様相の崩壊」により、S5では複雑に入れ子になった様相演算子を考える必要がなくなります。\(\Box\Box\Box\varphi\)も\(\Box\Box\varphi\)も\(\Box\varphi\)も、すべて同じ意味になるのです。

理想的な知識のモデル¶

S5は、完全に理想化された知識のモデルを提供します。S5における認識主体は以下の性質を持ちます：

知っていることは真である（T公理）、知っていることを知っている（4公理）、知らないことを知っている（5公理から導出）という完全な自己認識を持ちます。このような認識主体は、自分の知識状態について完全に透明な理解を持っています。

現実の人間がこのような完全な内省能力を持つことはありませんが、S5は知識の論理的構造を理解する上で重要な理論的基準点となります。

3.2.5 体系間の関係と比較¶

包含関係の階層¶

古典的様相論理体系は、明確な包含関係の階層を形成します。

定理3.2.5 —— 体系の包含階層

以下の真の包含関係が成立する：

\(K \subset D \subset T \subset S4 \subset S5\)

ただし、\(D\)と\(T\)の間には直接の包含関係はない

この階層は、各体系の証明能力を明確に序列化します。上位の体系で証明可能な定理は、下位の体系でも証明可能ですが、逆は成り立ちません。

フレームクラスの関係¶

各論理体系に対応するフレームクラスも、包含関係を持ちます：

\(\text{S5フレーム}（同値関係） \subseteq \text{S4フレーム}（反射的推移的） \subseteq \text{Tフレーム}（反射的） \subseteq \text{Kフレーム}（任意）\)

また、\(\text{Dフレーム}（系列的）\)と\(\text{Tフレーム}\)の間には、\(\text{Tフレーム}\)が\(\text{Dフレーム}\)の部分集合となる関係があります（反射性は系列性を含意）。

応用領域による使い分け¶

各体系の特徴により、適切な応用領域が異なります：

論理Kは最も一般的で、特別な仮定を置きたくない場合に使用されます。人工知能の推論システムで、エージェントの知識が不完全な場合などに適しています。

論理Dは義務論理や規範的推論に適しています。「べき」と「できる」の関係を扱う倫理学的推論で重要な役割を果たします。

論理Tは基本的な知識表現に使用されます。知識の真理性は保証するが、完全な内省能力は仮定しない場合に適切です。

論理S4は、ある程度の内省能力を持つ認識主体のモデル化に適しています。証明論的解釈では、証明可能性の論理として重要です。

論理S5は、理想的な知識や形而上学的必然性のモデル化に使用されます。可能世界間の関係が最も単純になるため、理論的分析には便利です。

体系選択の指針

様相論理体系を選ぶ際の実践的指針：

最小限から始める：まず論理Kで形式化を試みる
必要に応じて強化：不足する推論があれば公理を追加
過度の理想化を避ける：S5は強力だが非現実的な場合も
領域の特性を考慮：知識か信念か、義務か可能性か

まとめ¶

この節では、古典的な様相論理体系T、D、S4、S5の特徴と相互関係を学習しました。重要なポイントは以下の通りです：

各古典的体系は、論理Kに特定の公理を追加することで構成され、それぞれが異なる哲学的直観を形式化します。T公理は真理性、D公理は一貫性、4公理は正の内省、5公理は負の内省を表現し、これらの組み合わせにより体系の特徴が決まります。

公理とフレーム条件の間には美しい対応関係があり、T公理は反射性、D公理は系列性、4公理は推移性、5公理は（他の公理と共に）対称性に対応します。この対応により、構文論と意味論が密接に結びつきます。

体系間には明確な包含階層があり、\(K \subset T \subset S4 \subset S5\)という関係が成立します。各体系は異なる応用領域に適しており、知識、信念、義務などの様相概念のモデル化において、それぞれの特徴を活かした使い分けが重要です。

次節への展望¶

次の第3節「証明論」では、これらの様相論理体系における形式的証明の方法を詳しく学習します。自然演繹、ヒルベルト形式、タブロー法などの証明体系を通じて、様相論理の推論を体系的に実行する技法を習得します。

参考文献¶

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.

第3章第2節 古典的様相論理 【基本】¶