第1章第3節　述語論理の復習【基本】¶

学習目標¶

様相論理の理論的基盤となる述語論理と集合論について確認します。この節では、命題論理では表現できない個体と性質の関係の理解、述語記号と個体定数による形式化、全称量化子（∀）と存在量化子（∃）の導入と使用法、一階と二階の述語論理の区別、集合論の基礎概念とド・モルガンの法則の理解、そして関数と関係の基本概念の習得を目標とします。

本節の概要

個体と性質の分析：日常的な文を個体（specific objects）と性質（properties）の関係に分析し、述語記号による形式的表現を習得する。

量化子の導入：全称量化子（∀）と存在量化子（∃）により、一般的な文と存在に関する文を厳密に形式化する。

階層の理解：一階述語論理と二階述語論理の区別により、個体レベルの知識と概念レベルの知識を分離して扱う。

集合論の基礎：集合演算と論理演算の対応関係、ド・モルガンの法則による論理変換の基礎を理解する。

関係と関数：複数個体間の関係を表現し、様相論理の意味論で重要な到達可能性関係の理論的基盤を構築する。

1.3.1 命題論理の限界と個体・性質分析¶

命題論理の限界¶

前節で学習してきた命題論理は強力な表現力を持ちますが、重要な限界があります。以下の推論を考えてみましょう：

「すべての人間は死ぬ。ソクラテスは人間である。したがって、ソクラテスは死ぬ。」

この古典的な三段論法は明らかに妥当ですが、命題論理では適切に表現できません。命題変数を \(p\)：「すべての人間は死ぬ」、\(q\)：「ソクラテスは人間である」、\(r\)：「ソクラテスは死ぬ」とすると、\((p \land q) \rightarrow r\) となりますが、これでは推論の論理的構造が捉えられません。

個体と性質の分析¶

日常的な文は、個体（specific objects）と性質（properties）の関係で分析できます：

個体と性質の例

単純な文：

「ソクラテスは人間である」→ 個体「ソクラテス」が性質「人間である」を持つ
「この本は赤い」→ 個体「この本」が性質「赤い」を持つ

一般的な文：

「すべての人間は死ぬ」→ 性質「人間である」を持つすべての個体は性質「死ぬ」も持つ
「ある学生は優秀だ」→ 性質「学生である」を持つある個体は性質「優秀だ」も持つ

述語記号と個体定数¶

この分析を形式化するために、新しい記号を導入します：

定義1.3.1 —— 述語論理の基本語彙

個体定数：\(a, b, c, ...\) または具体的な名前（\(socrates, john, ...\)）

述語記号：\(P, Q, R, ...\) または具体的な述語（\(Human, Mortal, ...\)）

個体変数：\(x, y, z, ...\)

述語式の基本形：\(P(x)\)（「\(x\) は性質 \(P\) を持つ」）

1.3.2 量化子の導入¶

全称量化子と存在量化子¶

個体変数を使って一般的な文を表現するために、量化子（quantifiers）を導入します：

定義1.3.2 —— 量化子

全称量化子：\(\forall\)（「フォーオール」と読む）

\(\forall x P(x)\)：「すべての \(x\) について \(P(x)\)」
意味：すべての個体が性質 \(P\) を持つ

存在量化子：\(\exists\)（「イグジスツ」と読む）

\(\exists x P(x)\)：「ある \(x\) について \(P(x)\)」
意味：性質 \(P\) を持つ個体が（少なくとも一つ）存在する

量化子の具体的使用例¶

量化子による文の形式化

全称量化の例：

自然言語：「すべての鳥は動物である」
形式化：\(\forall x (Bird(x) \rightarrow Animal(x))\)
読み方：「すべての \(x\) について、もし \(x\) が鳥ならば \(x\) は動物である」

存在量化の例：

自然言語：「ある学生は優秀である」
形式化：\(\exists x (Student(x) \land Excellent(x))\)
読み方：「ある \(x\) について、\(x\) は学生であり、かつ \(x\) は優秀である」

複合的な例：

自然言語：「すべての学生はある教授を尊敬している」
形式化：\(\forall x (Student(x) \rightarrow \exists y (Professor(y) \land Respects(x,y)))\)

三段論法の形式化¶

これで冒頭の三段論法を適切に表現できます：

三段論法の述語論理による分析

前提1：すべての人間は死ぬ [\forall x (Human(x) \rightarrow Mortal(x))]

前提2：ソクラテスは人間である
[Human(socrates)]

結論：ソクラテスは死ぬ [Mortal(socrates)]

推論の妥当性：前提1で \(x = socrates\) とすると、\(Human(socrates) \rightarrow Mortal(socrates)\)。前提2と含意除去により結論が導出される。

関係述語¶

現実の文には、複数の個体間の関係を表すものもあります：

関係述語の例

二項関係：

自然言語：「太郎は花子を愛している」
形式化：\(Loves(taro, hanako)\)

量化子との組み合わせ：

自然言語：「すべての人はある人を愛している」
形式化：\(\forall x (Person(x) \rightarrow \exists y (Person(y) \land Loves(x,y)))\)

相互関係：

自然言語：「太郎と花子は互いを愛している」
形式化：\(Loves(taro, hanako) \land Loves(hanako, taro)\)

記号の読み方まとめ¶

記号	読み方	意味	例
\(\forall\)	フォーオール	すべての	\(\forall x P(x)\)：すべてのxについてP(x)
\(\exists\)	イグジスツ	ある・存在する	\(\exists x P(x)\)：あるxについてP(x)
\(P(x)\)	Pエックス	xはPという性質を持つ	\(Human(x)\)：xは人間である
\(R(x,y)\)	Rエックスワイ	xとyがR関係にある	\(Loves(x,y)\)：xはyを愛している

1.3.3 一階と二階の述語論理¶

述語論理の階層¶

述語論理には、量化の対象によって階層があります。これは様相論理の表現力に重要な影響を与えます：

定義1.3.3 —— 述語論理の階層

一階述語論理（First-Order Logic）：

個体のみを量化の対象とする：\(\forall x, \exists x\)
述語記号は量化されない（固定）
例：\(\forall x (Human(x) \rightarrow Mortal(x))\)

二階述語論理（Second-Order Logic）：

個体に加えて、述語や関係も量化の対象とする：\(\forall P, \exists P\)
より豊かな表現力を持つ
例：\(\forall P (\forall x (P(x) \rightarrow Q(x)) \rightarrow R(P,Q))\)

一階と二階の表現力の違い¶

階層による表現力の違い

一階で表現可能：

「すべての人間は死ぬ」：\(\forall x (Human(x) \rightarrow Mortal(x))\)
「ある学生は優秀だ」：\(\exists x (Student(x) \land Excellent(x))\)

二階でのみ表現可能：

「すべての性質について、それを持つ人は幸せだ」：\(\forall P \forall x (P(x) \rightarrow Happy(x))\)
「ある関係が存在して、それは対称的だ」：\(\exists R (\forall x \forall y (R(x,y) \rightarrow R(y,x)))\)

数学的概念：

自然数の帰納法原理は二階でのみ完全に表現可能
連続性、完全性などの解析学的概念

様相論理における重要性¶

様相論理では、この階層の区別が重要な意味を持ちます：

様相論理での一階・二階の区別

一階様相論理：

\(K_a \forall x P(x)\)：「aはすべてのxについてP(x)を知っている」
個体についての知識のみ

二階様相論理：

\(K_a \forall P Q(P)\)：「aはすべての性質PについてQ(P)を知っている」
性質や概念についての知識（メタレベルの知識）

表現力の違い：

一階：具体的事実の知識
二階：概念的・理論的知識、メタ知識

計算論的考察¶

計算可能性と決定可能性

一階述語論理：

半決定可能（semi-decidable）：妥当な式は機械的に証明可能
決定不可能（undecidable）：妥当性判定の一般的アルゴリズムは存在しない

二階述語論理：

より表現力が豊かだが、計算論的により困難
完全性定理が成り立たない（ゲーデルの不完全性定理と関連）

実用的含意：

自動定理証明システムは主に一階に限定
二階の概念は一階に「エンコード」して扱うことが多い

この階層の理解は、様相論理の意味論（特に可能世界意味論）や表現力の限界を理解する上で重要になります。

1.3.4 集合論の基礎と論理法則¶

集合の基本概念¶

論理学と数学の多くの概念は集合論に基づいています。様相論理でも可能世界の集合や到達可能性関係など、集合論的概念が頻繁に使用されるため、基本的な集合概念を確認しておきます。

定義1.3.4 —— 基本的集合概念

集合：\(A = \{1, 2, 3\}\) のように、明確に定義された対象の集まり

要素：\(a \in A\)（「\(a\) は集合 \(A\) の要素」）、\(b \notin A\)（「\(b\) は集合 \(A\) の要素ではない」）

部分集合：\(A \subseteq B\)（「\(A\) は \(B\) の部分集合」）⟺ \(\forall x (x \in A \rightarrow x \in B)\)

空集合：\(\emptyset = \{\}\)（要素を一つも持たない集合）

全体集合：\(U\)（議論の対象となるすべての要素を含む集合）

集合演算¶

集合間の関係と演算は、論理演算と密接な対応関係があります：

集合演算の基本

和集合（∪）：

\(A \cup B = \{x : x \in A \text{ または } x \in B\}\)
例：\(\{1,2\} \cup \{2,3\} = \{1,2,3\}\)
論理演算との対応：選言（∨）

積集合（∩）：

\(A \cap B = \{x : x \in A \text{ かつ } x \in B\}\)
例：\(\{1,2\} \cap \{2,3\} = \{2\}\)
論理演算との対応：連言（∧）

補集合（^c）：

\(A^c = \{x \in U : x \notin A\}\)（全体集合 \(U\) に対する \(A\) の補集合）
例：\(U = \{1,2,3,4\}\) で \(A = \{1,2\}\) なら \(A^c = \{3,4\}\)
論理演算との対応：否定（¬）

ド・モルガンの法則¶

論理学と集合論の両方で重要な法則であるド・モルガンの法則は、以下のように表現されます：

定理1.3.1 —— ド・モルガンの法則

論理学での表現：

\(\neg(p \land q) \equiv (\neg p \lor \neg q)\)
\(\neg(p \lor q) \equiv (\neg p \land \neg q)\)

集合論での表現：

\((A \cap B)^c = A^c \cup B^c\)
\((A \cup B)^c = A^c \cap B^c\)

日常言語での理解：

「AかつBではない」⟺「Aではないまたは Bではない」
「AまたはBではない」⟺「Aではないかつ Bではない」

ド・モルガンの法則の具体例¶

ド・モルガンの法則の応用

論理学的例：

命題 \(p\)：「今日は雨が降る」、\(q\)：「今日は寒い」
\(\neg(p \land q)\)：「雨が降って寒い、ということはない」
\(\neg p \lor \neg q\)：「雨が降らないまたは寒くない」
これらは同じ意味を表現している

集合論的例：

\(A\)：「学生の集合」、\(B\)：「20歳以上の集合」
\((A \cap B)^c\)：「学生かつ20歳以上ではない人々」
\(A^c \cup B^c\)：「学生ではない人々または 20歳未満の人々」
これらは同じ集合を表している

ベン図による可視化¶

ド・モルガンの法則は、ベン図で視覚的に理解できます：

第1法則：\((A \cap B)^c = A^c \cup B^c\)

\((A \cap B)^c\)

交集合の補集合（オレンジの部分）

=

\(A^c \cup B^c\)

補集合の和集合（オレンジの部分）

第2法則：\((A \cup B)^c = A^c \cap B^c\)

\((A \cup B)^c\)

和集合の補集合（緑の部分）

=

\(A^c \cap B^c\)

補集合の積集合（緑の部分）

ベン図の読み方

第1法則の解釈： - 左辺：AとBの共通部分の補集合（重なりの外側すべて） - 右辺：Aの外側とBの外側の和集合（重なりの外側すべて） - 結果：同じ領域を表すことが視覚的に確認できる

第2法則の解釈： - 左辺：AまたはBに含まれない部分（どちらにも属さない領域） - 右辺：Aの外側かつBの外側（どちらにも属さない領域） - 結果：同じ領域を表すことが視覚的に確認できる

1.3.5 量化子の集合論的解釈¶

量化子と集合演算の対応¶

前節で学んだ量化子を、集合論の概念を使って解釈できます：

量化子の集合論的意味

定義域：\(D\) = 個体変数が取りうる値の集合

述語の外延：\(|P| = \{x \in D : P(x) \text{が真}\}\)（述語Pを満たす要素の集合）

量化子と集合演算の対応：

\(\forall x P(x)\) が真 ⟺ \(|P| = D\)（すべての個体が性質Pを持つ）
\(\exists x P(x)\) が真 ⟺ \(|P| \neq \emptyset\)（性質Pを持つ個体が存在）

この対応により、量化子による推論を集合論の言葉で理解できます。

関数と関係の基礎¶

様相論理では関数と関係の概念も重要です：

定義1.3.5 —— 関数と関係

直積集合：\(A \times B = \{(a,b) : a \in A \text{ かつ } b \in B\}\)

関係：\(R \subseteq A \times B\)（AからBへの関係）

関数：\(f: A \rightarrow B\)（集合AからBへの写像）

条件：\(\forall a \in A, \exists! b \in B, (a,b) \in f\)
「すべてのaに対して、ただ一つのbが対応する」

これらの概念は、クリプキ意味論で可能世界間の到達可能性関係を定義する際に使用されます。

様相論理への橋渡し¶

述語論理と量化子の理解は、様相論理において重要です：

述語論理から様相論理へ

認識論理での応用：

\(K_a \forall x P(x)\)：「エージェント \(a\) は、すべての \(x\) について \(P(x)\) を知っている」
\(\forall x K_a P(x)\)：「すべての \(x\) について、エージェント \(a\) は \(P(x)\) を知っている」

これらは意味が異なります！前者は一般法則の知識、後者は個別事実の全知識を表します。

まとめ¶

この節では、様相論理の理論的基盤となる述語論理と集合論について学習しました。重要なポイントは以下の通りです：

述語論理と量化子により、命題論理では表現できない個体と性質の関係、一般的な文、存在に関する文を形式化できます。一階と二階の述語論理の区別により、個体レベルの知識と概念レベルの知識を明確に分離でき、全称量化子（∀）と存在量化子（∃）は、様相論理で扱う認識論理において重要な役割を果たします。

集合論とド・モルガン法則により、論理演算と集合演算の深い対応関係を理解できます。特にド・モルガンの法則は、論理式の変形や意味論の理解において基本的な道具となり、ベン図による視覚化により直観的理解を深めることができます。

関数と関係の基礎概念は、様相論理の意味論で中核的な役割を果たす可能世界間の到達可能性関係を理解するための土台となります。

これらの概念は、次節以降で学ぶ様相論理の構文と意味論において、不可欠な理論的基盤となります。

次節への展望¶

次の第4節「様相論理の導入」では、これまで学習した命題論理と述語論理の基礎の上に、必然性と可能性を表現する様相演算子を導入し、様相論理の構文と基本的な意味論を学習します。特に可能世界意味論の導入により、様相概念の厳密な意味論的基盤を構築します。

参考文献¶

Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Nebert.
Mendelson, E. (2015). Mathematical Logic. Chapman and Hall/CRC.
Russell, B., & Whitehead, A. N. (1910-1913). Principia Mathematica (3 vols.). Cambridge University Press.
Shoenfield, J. R. (2001). Mathematical Logic. A K Peters/CRC Press.
van Benthem, J. (2010). Modal Logic for Open Minds. CSLI Publications.
飯田隆 (1989). 『言語哲学大全II 意味と様相（下）』勁草書房.

第1章第3節 述語論理の復習 【基本】¶