なぜ述語論理を学ぶ必要があるのか
論理学を学び始めると、まず命題論理を学び、その後に述語論理へ進むことになります。
初学者の多くは、この段階で疑問を持ちます。
「命題論理を学んだのに、なぜさらに述語論理を学ぶ必要があるのだろうか。」
実は、この疑問はとても自然なものです。
命題論理は論理学の土台ですが、それだけでは数学や経済学で扱われる多くの議論を表現できません。
述語論理は、その限界を克服するために導入されます。
命題論理とは何か
命題論理では、一つひとつの命題を一つのまとまりとして扱います。
例えば、
- 「今日は雨である。」
- 「\(1+1=2\)」
- 「富士山は日本で最も高い山である。」
はいずれも命題です。
命題論理では、それぞれの命題が真であるか偽であるかだけを考えます。そして、
- 論理積
- 論理和
- 否定
- 含意
- 同値
などを用いて、命題同士の論理関係を分析します。
例えば、
「雨が降れば道路が濡れる。」
「雨が降る。」
という二つの命題から、
「道路が濡れる。」
を導くことができます。
このような推論を体系的に扱うのが命題論理です。
命題論理の限界
しかし、数学で実際に扱う文章を考えてみると、命題論理だけでは表現できないものが数多くあります。
例えば、
「すべての実数には平方根が存在する。」
「ある自然数は素数である。」
「任意の実数 \(x\) に対して、\(x^2 \ge 0\) が成り立つ。」
といった文章です。
これらの文章では、
- 実数
- 自然数
- 学生
- 消費者
などの対象（個体）について述べています。
さらに、
- 「すべて」
- 「ある」
という表現も登場します。
命題論理では、このような文章を自然な形で表現することができません。
命題論理では文章全体を一つの命題として扱うことしかできないからです。
述語論理では何が変わるのか
そこで導入されるのが述語論理です。述語論理では、
- 個体
- 述語
- 量化記号
という新しい概念を導入します。
例えば、
「すべての実数 \(x\) について、\(x^2 \ge 0\)」
という文章は、
$$
\forall x: x^2 \ge 0
$$
のように表すことができます。
また、
「ある学生が数学を履修している。」
であれば、
$$
\exists x: (\mathrm{Student}(x)\land \mathrm{StudyMath}(x))
$$
のように表現できます。
このように、述語論理では「個体」と「性質」を区別し、「すべて」「ある」といった概念を厳密に扱えるようになります。
数学では述語論理が不可欠になる
大学数学では、
「任意の」
「ある」
という表現が頻繁に現れます。
例えば、
- 任意の実数
- 任意のベクトル
- 任意の位相空間
- ある実数
- ある集合
などです。
定義も定理も証明も、ほとんどが量化記号を含んでいます。
例えば、
「連続性」
「コンパクト性」
「線形写像」
「極限」
などの定義は、述語論理の考え方なしには理解できません。
つまり、述語論理は論理学だけの知識ではなく、大学数学全体の共通言語です。
経済学でも述語論理は現れる
述語論理は数学だけで必要になるわけではありません。
経済学でも、
- すべての消費者
- ある均衡
- 任意の企業
- すべての戦略
といった表現が数多く現れます。
ミクロ経済学、ゲーム理論、一般均衡理論などでは、数学的な定義や証明が用いられるため、述語論理の考え方が前提となっています。
そのため、数学だけでなく理論経済学を学ぶ上でも重要な基礎になります。
命題論理は不要になるのか
述語論理を学ぶと、
「もう命題論理はいらないのではないか。」
と思うかもしれません。
しかし、そうではありません。
述語論理は命題論理を土台として、その表現力を拡張した理論です。
命題論理で学んだ
- 論理積
- 論理和
- 否定
- 含意
- 同値
などの概念は、述語論理でもそのまま使われます。
述語論理は、命題論理の上に「個体」と「量化記号」を追加したものだと考えるとよいでしょう。
まず命題論理、その次に述語論理
命題論理と述語論理は別々の理論ではありません。
まず命題論理によって、論理的な推論の基本を学びます。
その上で、個体や量化記号を導入し、より複雑な数学的・経済学的な議論を扱えるようにしたものが述語論理です。
したがって、命題論理から述語論理へ進むことは、学習内容が変わるというよりも、論理の表現力を大きく広げることであると言えます。
大学数学や理論経済学を学び続ける上で述語論理は避けて通れない重要な基礎です。
このテーマをさらに学ぶには
命題論理と述語論理の違いを理解したら、次は実際に学んでいきましょう。以下の教材をご利用ください。
