第2章第1節 可能世界の概念 【基本】¶
学習目標¶
この節では、様相論理の意味論的基礎となる可能世界の概念を理解します。具体的には、ライプニッツの哲学的洞察から始まり可能世界の直観的理解と存在論的地位の把握、様相演算子の意味論的解釈としての可能世界の役割の理解、そして到達可能性関係という重要な概念の導入を目標とします。
本節の概要
可能世界の哲学的基礎：ライプニッツの「最善の世界」という洞察から始まり、必然性と可能性の概念を直観的に理解する。
様相演算子の意味論：可能世界意味論により、必然性と可能性という抽象的概念を数学的に精密化する。
到達可能性関係の導入：可能世界間の関係を表現する数学的枠組みとして、制約された様相演算子の基礎理論を確立する。
存在論的地位の考察：可能世界の哲学的解釈について、実在論と抽象主義の立場を比較検討する。
第1章では様相論理の構文的側面を学びましたが、この章ではそれに厳密な意味論を与えます。様相演算子 \(\Box\) と \(\Diamond\) の意味を数学的に精密化するために、可能世界意味論（Possible Worlds Semantics）を導入します。
2.1.1 ライプニッツの洞察¶
哲学的起源¶
可能世界の概念は、17世紀の哲学者ゴットフリート・ライプニッツ（1646-1716）の深い洞察に遡ります。ライプニッツは神学と哲学の問題である「悪の問題」（なぜ善なる神が悪を許すのか）に答えるため、革命的なアイデアを提案しました。この問題は弁神論（theodicy）と呼ばれ、キリスト教思想において長年議論されてきた根本的な疑問でした。
この問題を日常的な例で考えてみましょう。優秀な学校の校長先生が、なぜ問題のある生徒の入学を許すのでしょうか。ライプニッツなら「それは、その生徒がいることで学校全体がより良くなるから」と答えるでしょう。つまり、個別に見れば「悪い」要素も、全体としては「最善の結果」に貢献するのです。
ライプニッツによれば、神は無限に多くの可能な世界の中から「最善の世界」を選択して実現しました。これを日常的な例で理解してみましょう：
建築家の設計に例えると：
- 可能世界：建築家が考えうるすべての設計案（「2階建ての木造住宅」「3階建てのマンション」「平屋の和風建築」など）
- 現実世界：実際に建設された建物（予算、敷地、用途を考慮した最適な選択）
- 他の可能世界：設計されたが実現されなかった他の案（条件は満たすが選ばれなかったプラン）
進路選択に例えると：
- 可能世界：あなたが選択できたすべての進路（「文系の大学」「理系の大学」「専門学校」「就職」など）
- 現実世界：実際に選んだ進路
- 他の可能世界：選ばなかった他の進路（それぞれに異なる人生が展開していたはず）
ライプニッツの「可能性の論理学」¶
ライプニッツは、可能性を以下のように分類しました：
ライプニッツの可能性の分類
論理的可能性：論理的矛盾を含まないもの
例：「馬に翼がある世界」は論理的に可能（ペガサスの存在に矛盾はない。物理法則には反するが、論理的には「馬」と「翼」を持つことは両立可能）
形而上学的可能性：本質的性質と矛盾しないもの
例：「水がH₂Oでない世界」について考えてみましょう。論理的には「水」と「H₂O以外の化学組成」は矛盾しませんが、「水とは何か」という本質を考えると、H₂O以外の物質を「水」と呼ぶのは形而上学的に困難です
物理的可能性：自然法則と矛盾しないもの
例：「重力が今より2倍強い世界」は、物理学的には可能な設定です（重力定数が異なる宇宙）。しかし「重力が無限大の世界」は物理的に不可能でしょう
現代への影響¶
ライプニッツの洞察は、現代の様相論理に以下の重要な概念を提供しました：
- 可能世界の階層構造：異なるタイプの可能性
- 最適化原理：最良の選択という概念
- 様相の相対性：何に対して可能/必然かという問題
論理学的重要性¶
ライプニッツの思想は、現代様相論理の理論的基盤となっています：
様相の多様性：必然性と可能性には異なるタイプがあり、それぞれ異なる論理系で扱われる必要があります。
制約された可能性：論理的可能性、形而上学的可能性、物理的可能性の区別は、現代の様相論理における制約された量化の理論的先駆けとなっています。
2.1.2 可能世界の存在論的地位¶
実在論か抽象主義か¶
現代哲学では、可能世界の存在論的地位について大きく二つの立場があります：
デイヴィッド・ルイスの様相実在論¶
デイヴィッド・ルイス（1941-2001）は、可能世界が文字通り実在すると主張しました：
- 可能世界は物理的に実在する具体的対象
- 現実世界も多数ある可能世界の一つに過ぎない
- 他の可能世界とは時空的・因果的に隔離されている
- 「可能性」とは「何らかの世界における現実性」
この立場は「genuine modal realism（真正様相実在論）」と呼ばれ、論理的には完璧ですが、直観的には受け入れ難いものです。
抽象主義的アプローチ¶
より穏健な立場として、可能世界を抽象的対象として理解するアプローチがあります：
スタルネイカー：可能世界は命題の集合 プランティンガ：可能世界は事態（states of affairs） クレイグ：可能世界は文の集合
論理学における標準解釈¶
様相論理においては、抽象主義的解釈が標準的です：
集合論的構成物として：可能世界は数学的対象として厳密に定義される
理論的道具として：様相論理の意味論のための形式的概念
説明的概念として：必然性と可能性の数学的基盤
2.1.3 到達可能性関係の導入¶
「つながり」の概念¶
可能世界があることはわかりましたが、すべての可能世界が同じように論理的に関連するわけではありません。様相論理では、現在考慮している世界から「論理的に関連する世界」と「論理的に無関係な世界」があることを区別します。
例えば、論理的関連性を考えてみましょう：
- 論理的に関連：「もし今日雨が降ったら」→ 気象条件の変化は現実世界と整合的です
- 論理的に無関連：「もし論理法則が違ったら」→ 基本的な推論構造の変化は通常考慮外です
この「論理的関連性」の違いを、様相論理では到達可能性（Accessibility）と呼びます。
定義2.1.1 —— 到達可能性関係
到達可能性関係：可能世界間の二項関係 \(R\) で、\(wRv\) は「世界 \(w\) から世界 \(v\) に到達可能」を意味する
論理的解釈：特定の論理系において考慮すべき世界の範囲を制限する関係
意味論的役割：様相演算子の真理条件を定義するための数学的構造
到達可能性関係の直観¶
実際の様相論理の応用では、すべての論理的に可能な世界を考慮するのではなく、特定の制約を満たす世界のみを考慮することが多くあります。この制約を到達可能性関係（Accessibility Relation）として形式化します。
世界 \(w\) から世界 \(v\) への到達可能性を \(wRv\) と表記します。この関係は、「世界 \(w\) を基点として、世界 \(v\) は論理的に考慮すべき範囲に含まれる」という意味に解釈できます。
具体例：
-
現実世界を基点とするとき、「明日雨が降る世界」は通常到達可能です。これは現実世界の気象条件と整合的な変化です。
-
現実世界を基点とするとき、「重力が逆向きの世界」は（通常）到達不可能です。これは基本的な物理法則の根本的変更を含むためです。
| 記号 | 読み方 | 意味 |
|---|---|---|
| \(wRv\) | w R v | 世界 w から世界 v へ到達可能 |
| \(R\) | アール | 到達可能性関係 |
制約された様相演算子¶
到達可能性関係を用いると、様相演算子の意味がより精密になります：
制約された必然性：
解題：この式は「世界 \(w\) において \(\Box p\) が真であるのは、\(w\) から到達可能なすべての世界 \(v\) において \(p\) が真である場合、かつその場合に限る」ことを意味しています。つまり、必然性は「認識的に可能なすべての状況での真理性」として解釈されます。
制約された可能性：
解題：この式は「世界 \(w\) において \(\Diamond p\) が真であるのは、\(w\) から到達可能な少なくとも一つの世界 \(v\) が存在し、その世界で \(p\) が真である場合、かつその場合に限る」ことを意味します。つまり、可能性は「認識的に可能な少なくとも一つの状況での真理性」として解釈されます。
論理的制約の種類¶
到達可能性には、さまざまな論理的制約があります。これらの制約は、異なる様相論理体系の理論的特徴を反映しています：
到達可能性制約の三類型
論理的一貫性による制約：論理法則と矛盾する世界は到達不可能
- これは様相論理体系の内部的一貫性を保つための基本的な制約
- 例：古典論理を前提とするなら、「p ∧ ¬p が真な世界」は到達不可能
公理による制約：採用された公理系と矛盾する世界は到達不可能
- 公理系の選択によって制約の度合いが変わる
- 例：T公理を採用するなら、「□p だが ¬p な世界」は到達不可能
定義による制約：概念定義と矛盾する世界は到達不可能
- これは様相概念の意味論的制約を示している
- 例：必然性を分析的真理と定義するなら、「分析的偽の必然的命題がある世界」は到達不可能
認識論理の基礎¶
認識論理では、到達可能性関係は認識的可能性を表現する重要な概念となります。エージェント \(a\) の知識状態を表現する場合：
\(w R_a v\) は「エージェント \(a\) の知識から見て、世界 \(w\) にいる場合に世界 \(v\) も認識的に区別できない」ことを意味します。
知識演算子の真理条件：
解題：この式は「世界 \(w\) でエージェント \(a\) が \(p\) を知っているのは、\(a\) にとって認識的に区別不可能なすべての世界で \(p\) が真である場合、かつその場合に限る」ことを意味します。これは知識の「真理性」と「確実性」を同時に捕捉する標準的な定義です。
まとめ¶
この節では、様相論理の意味論的基礎となる可能世界の概念を学習しました。重要なポイントは以下の通りです：
可能世界は「もしも」の状況を表現する抽象的概念であり、ライプニッツの哲学的洞察に由来します。論理的可能性、形而上学的可能性、物理的可能性の区別は、現代の様相論理における制約された量化の理論的先駆けとなっています。
命題の真理値を特定の可能世界において評価することで、様相演算子 \(\Box\) と \(\Diamond\) に厳密な意味論的定義を与えることができます。必然性はすべての関連する可能世界での真理性、可能性は少なくとも一つの関連する世界での真理性として定義されます。
到達可能性関係の導入により、様相論理の制約された解釈が可能になります。この関係は、論理系の公理的特徴や概念的制約を反映する重要な数学的構造として機能します。
次節への展望¶
次の第2節「クリプキフレームとモデル」では、可能世界と到達可能性関係を数学的構造として定式化し、様相論理の厳密な意味論的枠組みを構築します。フレームの性質と論理的公理の対応関係を学び、様相論理の理論的基盤を確立します。
参考文献¶
- 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.
- Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83-94.
- Leibniz, G. W. (1714). Monadology. In P. Remnant & J. Bennett (Trans.), New Essays on Human Understanding. Cambridge University Press.
- Lewis, D. (1986). On the Plurality of Worlds. Blackwell.
- Plantinga, A. (1974). The Nature of Necessity. Oxford University Press.
- Stalnaker, R. C. (1976). Possible worlds. Noûs, 10(1), 65-75.