『概念記法』

ゴットロープ・フレーゲが三十歳のときにイェーナ大学から世に問うた、現代論理学と分析哲学を生んだ画期的な小冊子。

【内容】

副題に「純粋思考のための、算術の言語に倣って作られた形式言語」とあるとおり、本書は自然言語の曖昧さを避け、思考の内容だけを厳密に書き下せる人工言語の構築を試みる。まず「主語と述語」ではなく「関数と項（引数）」という視点から命題を捉え直し、全称・存在の量化を木のように枝分かれする二次元記法で表す。そのうえで、命題論理と一階述語論理を統一的に扱う体系が提示され、形式的な証明の概念、同一性の扱いが一つ一つ定義される。本書末尾では、数の概念を論理から導く算術基礎づけのプログラムがすでに素描されている。

【影響と意義】

アリストテレスのシュロギスモス以来、実質的に前進がなかった論理学を、二千年ぶりに大きく書き換えた。ラッセル、ヒルベルト、ゲーデルらを経て、現代の数理論理学、計算機科学、分析哲学の共通言語となった。記号が未知で読解の敷居は高いが、本書のアイデアはプログラミング言語の型理論にまで影を落としている。

【なぜ今読むか】

AIや形式検証が当たり前になった時代、「思考を記号で書き下す」という発想そのものの出発点を確かめるのは、数理的リテラシーの根を深くする良い機会になる。論理の歴史を遡って眺めるための道標である。

【内容のあらまし】

本書は薄い小冊子だが、その密度は驚くほど高い。冒頭、フレーゲは自然言語の不正確さを糾弾する。「すべての人間は死ぬ」と「ソクラテスは人間である」を並べただけでは、論理関係が文法のなかに紛れて見えなくなる。そこで彼は、化学者が分子式を持つように、思考にも純粋な記号体系が要ると宣言する。

第一章では、命題そのものが垂直線「断定棒」とともに記号化される。続いて主語と述語の二分法が捨てられ、関数と引数の枠組みが導入される。「ソクラテスは死ぬ」は、F(x) という関数に x=ソクラテスを代入したものとして書き直される。この一手によって、「すべての人間が死ぬ」という普遍命題は、任意の x について F(x)→G(x) が成り立つという形で表現できるようになる。

第二章では、彼の独特な二次元記法が披露される。条件命題は水平線が枝分かれする樹形図で表され、否定は短い縦棒で印される。読み慣れない記号だが、論理の階層構造が紙面の上下方向に視覚化されており、複雑な入れ子をひと目で追える工夫がある。続いて全称量化の記号が導入される。彼はこのくぼみのなかに変数を書き込むことで、「すべての」と「ある」を厳密に区別してみせた。アリストテレス論理学が二千年触れられなかった量化の問題が、ここで初めて記号レベルで解決される。

第三章は応用篇である。同一性が「内容の同一」として注意深く定義され、続いて遺伝的性質、つまり「ある関係 R によって x から到達可能なすべての y に共通する性質」が定式化される。これは数学的帰納法を論理だけから取り出す試みであり、後の自然数の定義へとまっすぐ続く道筋を示している。

本書を読み終えると、論理学が哲学の脇役から数学の基礎へと格上げされた瞬間に立ち会った気分になる。記号は奇妙だが、その背後で動く思考の運動はきわめて現代的である。