記号論理体系（きごろんりたいけい）
最終更新：2026/4/22
記号論理体系は、記号と推論規則を用いて論理的な議論を形式化する数学的枠組みである。
別名・同義語 記号論理数理論理
ポイント
記号論理体系は、哲学、数学、計算機科学など、様々な分野で厳密な推論を行うために用いられる。命題論理や述語論理などが代表的な体系である。
概要
記号論理体系（Symbolic Logic System）は、自然言語の曖昧さを排除し、論理的な議論を厳密に形式化するためのツールです。これは、命題、述語、量化子などの記号を用いて、論理的な関係を表現し、推論規則に基づいて新たな命題を導き出すことを可能にします。
歴史的背景
記号論理の起源は、古代ギリシャの哲学者アリストテレスに遡ることができます。アリストテレスは、三段論法と呼ばれる推論形式を体系化しました。しかし、現代的な記号論理体系の基礎を築いたのは、19世紀後半のゴットロープ・フレーゲ、ジョージ・ブール、チャールズ・サンダース・パースらです。フレーゲは、述語論理の基礎となる概念を導入し、ブールは、ブール代数を用いて論理演算を数学的に表現しました。
主要な体系
- 命題論理 (Propositional Logic): 最も基本的な体系であり、命題（真または偽の文）とその間の論理的な関係（否定、連言、選言、含意など）を扱います。
- 述語論理 (Predicate Logic): 命題論理を拡張し、個体、述語、量化子（全称量化子、存在量化子）を導入することで、より複雑な論理構造を表現できます。
- 様相論理 (Modal Logic): 必然性、可能性、時間、知識などの様相的概念を扱う体系です。
- 高階論理 (Higher-Order Logic): 述語や関数を量化できる、より表現力の高い体系です。