コンテンツにスキップ

第1章第4節　様相論理の導入 【基本】

学習目標

この節では、第1節で直観的に導入した様相概念を、第2・3節で学んだ論理的基礎の上に厳密に構築します。具体的には、様相論理言語の語彙と形成規則の体系的理解、様相演算子の双対性という重要な論理的性質の把握、可能世界意味論の基本的な導入、そして形式的記法と直観的理解を橋渡しする能力の獲得を目標とします。

本節の概要

形式言語の構築：命題変数、論理結合子、様相演算子から成る厳密な語彙体系と、再帰的形成規則により無限の表現力を獲得する。

双対性の発見：必然性と可能性の深い概念的関係が明らかになり、論理的推論の根本的構造を理解する基盤を提供する。

可能世界の導入：様相概念の直観的理解から厳密な意味論への橋渡しとして、可能世界という概念的道具を導入する。

複合表現の威力：反復様相・混合様相により、複雑な論理的関係や階層的な必然性概念を精密に形式化できる。

第1節では、様相論理の必要性と基本的な直観について学習し、第2・3節では、その基礎となる命題論理と述語論理を確認しました。この節では、これまで直観的に使ってきた様相演算子 \(\Box\) と \(\Diamond\) を含む形式言語を厳密に定義し、可能世界意味論の基本的な考え方を導入します。

1.4.1 様相論理への第一歩

第1-3節で様相概念の動機を学び、第2・3節で論理的基礎を確認しました。この節では、いよいよ様相論理の世界に足を踏み入れ、必然性と可能性を厳密に扱うための基本的な仕組みを学習します。

様相論理とは何か

様相論理（Modal Logic）は、命題や述語が「必然的に真」「可能的に真」といった様相（modality）を表現するための論理体系です。これまで学習した命題論理や述語論理では「真」か「偽」かしか扱えませんでしたが、様相論理では真理の度合いや必然性の強さを区別できます。

日常言語での様相表現

日常的に我々は様相概念を頻繁に使用しています：

日常言語の様相表現

必然性の表現：

  • 「2 + 2 は必ず 4 になる」（数学的必然性）
  • 「すべての生物は必ず死ぬ」（生物学的必然性）
  • 「約束は必ず守らなければならない」（道徳的必然性）

可能性の表現：

  • 「明日は雨が降るかもしれない」（気象的可能性）
  • 「この薬は効く可能性がある」（医学的可能性）
  • 「彼は天才かもしれない」（認識的可能性）

これらの表現は、単純な真偽では捉えきれない豊かな意味構造を持っています。

様相論理の必要性

従来の論理では表現できない重要な推論パターンがあります：

様相論理が必要な推論例

例1：必然性の伝播

  • 前提1：「必然的に、雨が降れば道が濡れる」
  • 前提2：「必然的に雨が降る」
  • 結論：「必然的に道が濡れる」

この推論は命題論理では適切に表現できません。

例2：可能性と必然性の関係

  • 「必然的でないならば、反対の可能性がある」
  • 「不可能でないならば、可能である」

これらの関係も様相論理で初めて厳密に分析できます。

1.4.2 様相演算子の導入

これまでの論理学習で使用してきた記号に加えて、様相論理では新しい演算子を導入します。

基礎となる記号の確認

様相論理は、これまで学んだ命題論理と述語論理の上に構築されます。まず基本的な記号を確認しましょう：

基礎記号の復習

命題変数：\(p, q, r, s, ...\)

論理結合子： - \(\neg\)（否定） - \(\land\)（連言） - \(\lor\)（選言） - \(\rightarrow\)（含意） - \(\leftrightarrow\)（同値）

様相演算子の導入

様相論理の核心となる新しい演算子を導入します：

定義1.4.1 —— 様相演算子

必然性演算子：\(\Box\)（「ボックス」と読む）

  • \(\Box p\)：「必然的に \(p\)」
  • 意味：どのような状況・世界でも \(p\) が成り立つ

可能性演算子：\(\Diamond\)（「ダイヤモンド」と読む）

  • \(\Diamond p\)：「可能的に \(p\)」
  • 意味：ある状況・世界で \(p\) が成り立ちうる

様相演算子の具体例

命題 \(p\)：「2 + 2 = 4」について：

  • \(\Box p\)：「必然的に2 + 2 = 4」（数学的必然性）
  • \(\Diamond p\)：「可能的に2 + 2 = 4」（常に真なので当然可能）

命題 \(q\)：「明日は晴れる」について：

  • \(\Box q\)：「必然的に明日は晴れる」（気象では通常偽）
  • \(\Diamond q\)：「可能的に明日は晴れる」（天候の可能性として真）

記号の由来と意味： - \(\Box\)（ボックス）：「囲い込む」「必然的に固定された」という直観 - \(\Diamond\)（ダイヤモンド）：宝石のように「輝く可能性」という意味

これらは現在、様相論理の国際標準記法です。

4. 補助記号（Auxiliary Symbols）

複雑な式の構造を明確にするために、括弧を使用します：

記号 用途 例
\((\), \()\) 結合優先順位の明示 \((\Box p) \rightarrow q\)

1.4.3 可能世界による直観的理解

様相演算子の意味をより具体的に理解するために、可能世界（Possible Worlds）という概念を導入します。

可能世界とは何か

可能世界とは、物事がそうであったかもしれない状況や状態を表現する概念的道具です。現実世界も可能世界の一つに過ぎません。

可能世界の具体例

現実世界（\(w_0\)）： - 今日は晴れている - 日本の首都は東京である - \(\pi > 3\)

可能世界1（\(w_1\)）： - 今日は雨が降っている（現実と異なる） - 日本の首都は東京である（現実と同じ） - \(\pi > 3\)（数学的真理なので同じ）

可能世界2（\(w_2\)）： - 今日は雪が降っている - 日本の首都は大阪である（歴史的にありえた） - \(\pi > 3\)（数学的真理なので同じ）

様相演算子の可能世界による解釈

可能世界を使って様相演算子の意味を直観的に理解できます：

定義1.4.2 —— 可能世界による様相の解釈

必然性：\(\Box p\) が真である ⟺ すべての可能世界で \(p\) が真

可能性：\(\Diamond p\) が真である ⟺ 少なくとも一つの可能世界で \(p\) が真

可能世界による具体例

可能世界の概念を使って、様相演算子の意味を具体的に見てみましょう：

必然性の例

命題 \(p\)：「\(2 + 2 = 4\)」

可能世界での真偽： - 現実世界 \(w_0\)：\(p\) は真 - 可能世界 \(w_1\)：\(p\) は真（数学的真理） - 可能世界 \(w_2\)：\(p\) は真（数学的真理） - ...すべての可能世界で \(p\) は真

結論：\(\Box p\) は真（必然的に \(p\)）

可能性の例

命題 \(q\)：「明日は雨が降る」

可能世界での真偽： - 現実世界 \(w_0\)：\(q\) は偽（今日は晴れの予報） - 可能世界 \(w_1\)：\(q\) は真（雨が降る状況） - 可能世界 \(w_2\)：\(q\) は偽（晴れの状況）

結論：\(\Diamond q\) は真（可能的に \(q\)）、\(\Box q\) は偽

1.4.4 双対性の発見

様相論理の重要な特徴の一つは、必然性と可能性の間の双対性（duality）です。

双対性とは

可能世界の視点から双対性を理解してみましょう：

定理1.4.1 —— 様相演算子の双対性

第1の関係：\(\Box p \leftrightarrow \neg\Diamond\neg p\)

「必然的に \(p\)」⟺「\(p\) でないことは不可能」

第2の関係：\(\Diamond p \leftrightarrow \neg\Box\neg p\)

「可能的に \(p\)」⟺「\(p\) でないことは必然的ではない」

双対性の直観的理解

双対性の具体例

命題 \(p\)：「試験に合格する」

第1の双対性の確認： - \(\Box p\)：「必ず合格する」 - \(\neg\Diamond\neg p\)：「不合格の可能性はない」

これらは同じ意味を表現しています。

第2の双対性の確認： - \(\Diamond p\)：「合格する可能性がある」 - \(\neg\Box\neg p\)：「必ず不合格というわけではない」

これらも同じ意味を表現しています。

双対性により、必然性と可能性は相互に定義可能であることがわかります。つまり、どちらか一方があれば、もう一方も表現できるのです。

まとめ

この節では、様相論理の基本的な考え方と要素を学習しました。重要なポイントを振り返ってみましょう：

様相演算子の導入により、命題論理では表現できなかった「必然性」と「可能性」の概念を厳密に扱えるようになりました。\(\Box\)（必然性）と \(\Diamond\)（可能性）という記号により、日常言語の曖昧な様相表現を明確に形式化できます。

可能世界の概念は、様相演算子の意味を直観的に理解するための強力な道具です。「すべての可能世界で真ならば必然的」「少なくとも一つの可能世界で真ならば可能的」という解釈により、抽象的な様相概念が具体的に把握できます。

双対性の発見により、必然性と可能性は表裏一体の関係にあることがわかりました。\(\Box p \leftrightarrow \neg\Diamond\neg p\) という関係は、様相論理の理論的美しさを示すとともに、実用的な論理操作の基盤となります。

次節への展望

次の第5節「論理と心の関係」では、これまで学んだ論理的基礎が、人間の心と認知にどのように関わるかを探究します。論理学と心理学の接点を明らかにし、本書の応用編で扱う心理学的テーマへの橋渡しを行います。

参考文献

  • Chellas, B. F. (1980). Modal Logic: An Introduction. Cambridge University Press.
  • Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. Routledge.
  • 金子洋之 (2005). 『様相論理入門』誠文堂新光社.