記号論理（きごろんり）
最終更新：2026/4/25
記号論理は、論理学における形式体系の一つであり、命題や推論を記号を用いて表現し、その妥当性を機械的に検証する手法である。
別名・同義語 形式論理数理論理
ポイント
記号論理は、数学基礎論や計算機科学において重要な役割を果たし、論理的思考の厳密性を追求する上で不可欠なツールである。命題論理と述語論理が主要な体系として知られている。
概要
記号論理（Symbolic Logic）は、自然言語で表現される論理的な議論を、曖昧さを排除し、厳密に分析するために開発された形式体系です。日常的な言葉の解釈の多様性から生じる誤謬を避けるため、論理的な構造を記号を用いて表現し、その妥当性を数学的な手法を用いて検証します。
歴史的背景
記号論理の起源は、古代ギリシャの哲学者アリストテレスに遡ることができます。アリストテレスは、三段論法と呼ばれる推論形式を体系化し、論理学の基礎を築きました。しかし、現代的な記号論理の発展は、19世紀後半から20世紀初頭にかけて、ゴットロープ・フレーゲ、バートランド・ラッセル、アルフレッド・ノース・ホワイトヘッドらによって行われました。フレーゲは、述語論理の基礎を築き、ラッセルとホワイトヘッドは、数学全体を論理に基づいて再構築しようと試みました（『プリンキピア・マテマティカ』）。
主要な体系
記号論理には、いくつかの主要な体系が存在します。
- 命題論理（Propositional Logic）: 最も基本的な体系であり、命題（真または偽の値を持ちうる文）を記号で表現し、論理演算子（否定、連言、選言、含意など）を用いて命題間の関係を記述します。
- 述語論理（Predicate Logic）: 命題論理を拡張した体系であり、個体、属性、関係を記号で表現し、量化子（全称量化子、存在量化子）を用いて個体に関する普遍的な主張や特定の個体の存在を記述します。
- 様相論理（Modal Logic）: 必然性、可能性、時間、知識などの様相的概念を扱う体系です。
応用分野
記号論理は、哲学、数学、計算機科学など、幅広い分野で応用されています。