1 概要と基本概念
古典論理は、命題や述語の真偽を厳密に扱うための基礎的な論理体系である。数学、哲学、計算機科学などで広く用いられ、推論の正しさを形式的に判定する枠組みを与える。基本的には、各命題が真か偽のいずれかを取るものとして扱い、そこから規則に従って結論を導く。
この体系の重要な特徴は、二値性を前提にしている点にある。ある文が成立するかしないかを明確に区別できるため、証明の記述や理論の整理に適している。さらに、排中律や二重否定の除去のような原理が認められることから、直観主義論理などとは異なる性格を持つ。
1.1 古典論理の定義
古典論理は、命題を真偽の対象として扱う論理であり、推論規則と意味論を通じて妥当な結論を定める体系である。命題論理と述語論理が代表的な構成要素で、前者は命題結合子を、後者は量化を導入して対象についての一般的な主張を表現する。
1.2 命題と真理値
命題は、真または偽のどちらかの値を持つ文として定式化される。古典論理では、この真理値が明確に二分され、曖昧さを含まない評価が行われる。真理値の扱いは、連言、選言、否定、含意といった結合子の意味を決める基礎となる。
1.3 推論と証明
推論とは、前提から結論を導く過程を指し、証明はその過程を規則に従って明示したものといえる。古典論理では、各段階が形式的に点検できるように整理されるため、証明の妥当性を機械的に追跡しやすい。これにより、数学的証明や論理式の整合的な操作が可能になる。
2 基本法則
古典論理の基本法則は、命題を構成する結合子や量化表現の振る舞いを定める。これらの法則は、形式的な変形を許す条件を与え、推論の一貫性を支えている。命題論理と述語論理では扱う対象が異なるが、いずれも厳密な規則に従って運用される。
2.1 命題論理の法則
命題論理では、複数の命題を結び付ける演算が中心になる。否定、連言、選言、含意は最も基本的な結合子であり、それぞれが真理値の変化を規定する。これらを理解することで、複雑な論理式の構造を分析できる。
2.1.1 否定
否定は、ある命題が真であることを打ち消し、その反対の真理値を表す。古典論理では、命題が真であれば否定は偽、偽であれば否定は真となる。単純だが、推論全体に強い影響を与える基本操作である。
2.1.2 連言
連言は、二つの命題がともに成り立つことを表す。両方が真のときに限って全体が真になるため、条件が同時に満たされる状況を記述するのに向く。数学では、複数の性質をまとめて述べる際によく使われる。
2.1.3 選言
選言は、少なくとも一方の命題が真であることを示す。日常的な「または」と近いが、論理学では包摂的な意味で用いられるのが一般的である。両方が真でも全体は真とされる。
2.1.4 含意
含意は、ある命題が真なら別の命題も真であるという関係を示す。前件と後件の結び付きとして表され、条件付き主張の形式をとる。証明論では、仮定を置いて結論へ進む手続きの中心になる。
2.2 述語論理の法則
述語論理は、個体に関する性質や関係を表すために量化を導入する。命題論理よりも表現力が高く、対象の集合全体についての主張を扱える。古典論理の応用範囲を大きく広げる部分である。
2.2.1 全称量化
全称量化は、ある領域のすべての対象について命題が成り立つことを表す。数学的定理では「任意の」や「すべての」といった形で現れる。一般性を持つ主張を簡潔に記述するのに適している。
2.2.2 存在量化
存在量化は、少なくとも一つの対象が条件を満たすことを示す。証明では、具体例の存在を示したり、解の有無を述べたりする場面で頻出する。全称量化と対になって、対象の分布を細かく表現できる。
2.2.3 代入と束縛変数
量化子の下で使われる変数は束縛変数と呼ばれ、意味は量化の範囲に依存する。代入では、変数を別の項で置き換えるが、束縛の取り扱いを誤ると意味が変わる。古典論理では、変数の衝突を避ける規則が重要である。
3 主要な論理原理
主要な論理原理は、古典論理を特徴づける中核的な性質である。これらは証明の進め方や式変形の可否に直接関わる。特に、古典論理と他の論理体系を区別する際の基準としても機能する。
3.1 排中律
排中律は、任意の命題について、それが真であるか、さもなければその否定が真であるとする原理である。中間的な状態を認めない点が特徴で、古典的な二値的世界観を端的に表す。証明では、場合分けの根拠として働くことが多い。
3.2 矛盾律
矛盾律は、ある命題とその否定が同時に真であることはないという原理である。理論が破綻しないための基本条件であり、相反する主張を同時に受け入れない姿勢を支える。論理体系の整合性に密接に結び付いている。
3.3 二重否定
二重否定は、否定を二回重ねた形に関する原理である。古典論理では、二重否定の導入と除去の双方が扱われ、単純な真偽の反転以上の構造を持つ。直観主義論理では扱いが異なるため、比較の要点にもなる。
3.3.1 二重否定導入
二重否定導入は、ある命題が成り立つなら、その二重否定も成り立つとする規則である。これは比較的広い論理体系で受け入れられる。証明の一方向の拡張として理解しやすい。
3.3.2 二重否定除去
二重否定除去は、二重に否定された命題から元の命題を復元できるとする原理である。古典論理ではこれが認められるため、否定の重なりが実質的に消去される。古典性を象徴する法則の一つである。
3.4 背理法
背理法は、ある結論の否定を仮定して矛盾を導き、元の結論を確立する証明方法である。間接証明の代表例であり、古典論理では強力な技法として使われる。数学の証明で頻繁に現れる。
4 構文と意味論
古典論理は、式の形を扱う構文と、その式が何を意味するかを扱う意味論の両面から理解される。構文は記号の並びを規定し、意味論は真偽や解釈との対応を与える。この二つの観点を区別することで、論理の性質が明確になる。
4.1 形式言語
形式言語は、論理式を厳密に記述するための記号体系である。自然言語のあいまいさを排し、構文規則に従って文を作る。古典論理では、記号の使用法が明確に決められる。
4.1.1 論理式
論理式は、命題記号、述語記号、量化子、結合子などから構成される。正しい式は文法規則によって定まるため、単なる記号列とは区別される。証明や意味解釈の対象になる基本単位である。
4.1.2 証明体系
証明体系は、どのような式を導出可能とみなすかを定める規則の集まりである。推論の順序や許される変形が明示され、形式証明を構成する基盤となる。体系ごとに証明の書き方は少しずつ異なる。
4.2 真理値意味論
真理値意味論は、論理式に真偽を割り当て、その組み合わせが全体としてどのような値を持つかを調べる方法である。結合子の意味を真理関数として表す点が特徴で、古典論理の理解に最も基本的な枠組みを与える。
4.2.1 真理表
真理表は、各命題変数の取りうる真理値の組合せごとに、複合命題の値を一覧化したものである。結合子の挙動を一目で確認でき、命題論理の分析に便利である。教育的にもよく用いられる。
4.2.2 妥当性
妥当性は、前提がすべて真であれば結論も真になるような推論の性質を指す。ある式や推論が、どの解釈でも崩れないことを示す場合にも使われる。古典論理では、妥当性が証明可能性と深く関係する。
4.2.3 恒真式
恒真式は、あらゆる真理値の割り当てに対して真となる論理式である。内容に依存せず常に成立するため、論理法則そのものを表現することがある。代表例として、排中律に関わる式が挙げられる。
4.3 モデル理論
モデル理論は、論理式を解釈する構造を考え、式がその構造で真になるかを調べる分野である。集合、関係、関数などを用いて意味を与えることで、抽象的な式を具体的な対象と結び付ける。述語論理の理解に特に重要である。
5 証明体系
証明体系は、古典論理を実際に運用するための形式的な枠組みである。複数の流儀があり、それぞれが推論の表現に異なる利点を持つ。証明の構造を明確化することで、理論の比較や検証が容易になる。
5.1 自然演繹
自然演繹は、人間の推論に近い形で証明を組み立てる体系である。仮定の導入と解除を通じて結論へ進み、読みやすい証明を記述しやすい。数学の通常の議論に親和的な方法として知られる。
5.2 シークエント計算
シークエント計算は、前提と結論を分離した形で推論を表す体系である。構造規則を明示的に扱えるため、証明の変形や解析に向いている。論理式の対称性を研究する際にも有用である。
5.3 ヒルベルト体系
ヒルベルト体系は、少数の公理と推論規則から多くの定理を導く簡潔な形式体系である。証明は短い公理図式とモーダス・ポネンスのような規則に依存する。構成は簡素だが、表現力は十分に高い。
5.4 公理系
公理系は、証明の出発点となる基本的な式群を定めたものである。個々の公理は自明な真理や推論原理をまとめて表し、そこから体系全体を構築する。公理の選び方によって、証明の見通しや使いやすさが変わる。
6 述語論理の拡張
述語論理の拡張は、命題の内部構造をより細かく表すための仕組みを導入する。個体や関係を対象にできるため、古典論理の表現力は大きく増す。数学的記述との相性がよく、形式化に広く利用される。
6.1 個体変数と述語記号
個体変数は、対象を一般に指すための記号である。述語記号は、その対象が持つ性質や分類を表現する。両者を組み合わせることで、「ある対象は性質を持つ」といった文を厳密に書ける。
6.2 関係記号
関係記号は、複数の対象のあいだの関係を表す。順序、等しさ以外の関係、相互作用などを形式化するのに役立つ。これにより、単独の性質だけでなく、対象同士の結び付きも扱える。
6.3 等号の扱い
等号は、二つの項が同一の対象を指すことを表す。論理体系では、置換や同一性に関する規則を通じて特別に扱われることが多い。等号を導入すると、理論の記述力がさらに高まる。
6.4 一階論理との関係
一階論理は、個体に対する量化を認める標準的な論理体系である。古典論理の述語論理部分は通常この一階の枠組みで理解される。対象の集合に対する性質や関係を表現する基本形式として重要である。
7 メタ理論
メタ理論は、論理体系そのものの性質を外側から調べる分野である。証明可能性、意味論との対応、計算上の扱いやすさなどが対象になる。古典論理の信頼性や限界を知るうえで欠かせない。
7.1 無矛盾性
無矛盾性は、体系の中で命題とその否定の両方を証明できないことを意味する。これが破れると、理論はあらゆる結論を導ける危険を持つ。したがって、論理体系の基本的な健全さを示す指標となる。
7.2 完全性
完全性は、意味論的に正しい命題が、証明体系でも導出できることを表す。妥当な式が取りこぼされない点で重要であり、論理と証明の対応を強める。古典述語論理では、代表的な重要定理として知られる。
7.3 健全性
健全性は、証明体系で導出できる式が、すべて意味論的にも正しいことを示す。証明が誤った結論を生まない保証であり、形式体系の信頼性を支える。完全性と対をなす概念である。
7.4 決定可能性
決定可能性は、ある性質が機械的手続きで判定できるかどうかに関する。命題論理では比較的扱いやすいが、述語論理では一般に難しくなる。計算可能性との関係から、理論の限界を考える手掛かりになる。
8 他の論理体系との比較
古典論理は、他の論理体系と比べることで特徴が際立つ。どの原理を採用し、どこを緩和するかによって、推論の性格は大きく変わる。比較は、古典論理の適用範囲を理解するために有効である。
8.1 直観主義論理
直観主義論理は、古典論理よりも構成的な証明を重視する。排中律や二重否定除去が一般には認められず、存在主張には具体的な証明が求められる。証明の意味を重視する立場として知られる。
8.2 様相論理
様相論理は、必然性や可能性のような様相を扱う体系である。古典論理に追加の演算子を導入する形で理解されることが多い。真偽だけでなく、成立の仕方やモダリティを表現できる。
8.3 多値論理
多値論理は、真と偽以外の値を認める論理である。あいまいさ、未定、過渡的な状態を表現しやすく、古典論理の二値性を拡張する。情報の不完全さを扱う場面で有用である。
8.4 非単調論理
非単調論理は、新しい情報が加わるとそれまでの結論が撤回されうる論理である。古典論理の単調性とは対照的で、推論の更新過程を表現するのに適している。知識表現や人工知能で重要になる。
9 応用
古典論理は、純粋な理論にとどまらず、さまざまな応用領域の基盤となっている。特に、明確な規則に従って記号を扱う必要がある分野で強い力を発揮する。数学的厳密性と計算可能性の両方に寄与する。
9.1 数学基礎論
数学基礎論では、数学の命題や証明を形式化するために古典論理が用いられる。公理系の構築、定理の導出、理論の比較などで重要な役割を果たす。数学全体の土台を整えるための道具として機能する。
9.2 計算機科学
計算機科学では、プログラムの仕様記述、推論、アルゴリズム設計に古典論理が活用される。論理式は条件分岐や検査規則の表現にも適しており、形式的な思考を支える。論理回路や計算理論とも深く結び付く。
9.3 形式検証
形式検証は、システムが仕様を満たすかを厳密に確かめる技法である。古典論理は、状態や条件を記述する基盤として使われ、誤りの検出や安全性の確認に役立つ。複雑な設計の信頼性向上に貢献する。
9.4 自動定理証明
自動定理証明は、計算機によって論理式の証明や反例探索を行う分野である。古典論理の形式化された規則は、探索手続きの基礎になる。数学的証明の補助や検査を高速化する技術として発展している。