『概念記法』

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

【内容】

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

【影響と意義】

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

【なぜ今読むか】

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

【内容のあらまし】

本書は薄い小冊子だが、その密度は驚くほど高い。冒頭の序文で、フレーゲは日常の言語に対する自分の記号法の関係を、眼に対する顕微鏡の関係にたとえる。眼は用途の広さでは顕微鏡にまさるが、科学が鋭い分解能を求めるときには足りない。さらに彼は、算術、幾何学、化学の記号をライプニッツの構想が個々の分野で実現したものとみなし、本書の記号法はそこに加わる新しい分野で、しかも他のすべてに接する中心にあたると述べる。

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

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

第二章では、少数の公理から論理的に真な命題がいくつか証明される。第三章では、関係 R の系列のなかで性質が受け継がれること（遺伝性）と、系列のなかで後に続くという関係が定式化される。これは数学的帰納法を論理だけから取り出す試みであり、後の自然数の定義へとまっすぐ続く道筋を示している。

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