論理学

感情や権威に左右されず、前提から結論を正しく導く推論の形式を研究する学問。哲学・科学・数学・法学のすべての知的営みの基盤をなす。

【生まれた背景】

紀元前4世紀、アリストテレスが「正しく考えるとはどういうことか」を体系的に問うたことから生まれた。それ以前にも正しい議論への関心はあったが、推論の形式そのものを独立した研究対象とした最初の哲学者がアリストテレスである。ソフィストたちの詭弁や誤った推論を論破するための道具として体系化された。

【主張の内容】

論理学の核心は「三段論法（シロジズム）」である。「すべてのAはBである。SはAである。ゆえにSはBである」という形式で前提から結論を演繹的に導く。この形式が正しければ、前提が真である限り結論も必ず真となる。アリストテレスは三段論法のすべての格（形式）を分類し、どの形式が妥当な推論かを網羅的に整理した。これは「オルガノン（道具）」という著作群にまとめられ、2000年にわたって論理学の標準であり続けた。

【日常での例】

「人は誰でも死ぬ、ソクラテスは人間だ、だからソクラテスは死ぬ」。日常的な議論で「それは前提が間違っている」「それは論理的な飛躍だ」と指摘するとき、私たちは論理学的な直観を働かせている。

【批判と限界】

三段論法は演繹的推論の形式であり、帰納（観察から一般法則を導く）には対応しない。19世紀にフレーゲが記号論理学を創始し、アリストテレスの論理学は「述語論理学」の一部に過ぎないことが示された。形式が正しくても前提が間違っていれば結論は真にならないという限界もある。

【思想の深層】

論理学の哲学的意義は「形式と内容の分離」にある。三段論法の妥当性は前提の内容とは独立している。「すべての龍は魔法を使う。ドラゴンは龍だ。ゆえにドラゴンは魔法を使う」は、前提が虚偽でも論理形式として妥当である。この形式的妥当性と事実的真理の区別が、論理学の核心的な発見だ。アリストテレスの三段論法は「述語論理学」の先駆けだが、その体系は主語と述語の関係（AはBである）に限定されていた。19世紀のフレーゲは変数・量化子・関数という概念を導入して記号論理学（数理論理学）を創始し、アリストテレスの体系を特殊ケースとして包摂した。さらにラッセル・ホワイトヘッドの『数学原理』は数学全体を論理学から導出しようとする「ロジシズム」を試みた。ゲーデルの不完全性定理（1931年）は「十分に豊かな形式体系は自分自身の無矛盾性を証明できない」ことを示し、論理学の根本的限界を明らかにした。演繹と帰納の非対称性も重要である。演繹は前提から結論を必然的に導くが、帰納は観察事例から一般命題へと「跳躍」する。ヒュームの帰納の問題（なぜ過去の規則性が未来にも成立するのか？）は現代まで未解決の問いとして残る。

【歴史的展開】

アリストテレスが紀元前4世紀に三段論法を体系化し、オルガノン（カテゴリー論・命題論・分析論前書・分析論後書）として集成した。ストア派は命題論理学を発展させ、「もしAならばB」という条件文の論理を研究した。中世スコラ哲学では論理学はアリウム（七自由学芸）の一部として必修とされ、トマス・アクィナスらが神学的議論に活用した。17世紀ライプニッツが「普遍的計算法」を夢想し、論理を記号計算として扱うことを構想した。19世紀ブールが代数的論理学（ブール代数）を創始。フレーゲの『概念記法』（1879年）が近代論理学の出発点となった。20世紀にラッセル、ヒルベルト、ゲーデル、チューリングらが論理学の基礎を刷新した。

【現代社会との接点】

コンピュータはブール代数（AND・OR・NOT）を基礎とする論理回路で動作しており、論理学は計算機科学の根幹をなす。AIの推論システム・プログラミング言語の型システム・データベースのSQL・法律の解釈論法など、現代社会のあらゆる場所に論理学的思考が埋め込まれている。「フェイクニュースに惑わされない」「詭弁を見抜く」という批判的思考（クリティカル・シンキング）の基礎も論理学にある。「Aだから必ずBとは限らない」という非形式的論理の直観は、日常的な意思決定に直結する。

【さらに学ぶために】

アリストテレス『分析論前書・後書』（岩崎勉訳、岩波文庫）は論理学の原典。難解だが哲学的意義は深い。戸田山和久『論理学をつくる』（名古屋大学出版会）は論理学の哲学的背景も含めた充実した入門書である。野矢茂樹『論理トレーニング』（産業図書）は日常的な論証を分析する実践的な入門として定評がある。