述語論理を発明し、数学の基礎を論理学から導こうとした現代論理学の父。分析哲学の出発点を築いた。

【代表的な思想】

■ 述語論理の創始

『概念記法』で、アリストテレス以来の三段論法を超える新しい論理体系（述語論理）を構築した。現代の数理論理学・計算機科学の基盤。

■ 意味と意義の区別

「明けの明星」と「宵の明星」は同じ金星を指す（意味＝指示対象が同じ）が、認識的内容（意義）は異なるとした。言語哲学の根本問題を提起。

■ 論理主義プログラム

算術の基本法則をすべて論理学から導出しようとする壮大な試み。ラッセルのパラドックスによって挫折したが、その構想自体が数学の哲学を前進させた。

【特徴的な点】

生前はほとんど無名で、その業績はラッセルやウィトゲンシュタインを通じて間接的に広まった。20世紀後半に再評価が進んだ。

【現代との接点】

プログラミング言語の設計、AIの知識表現、計算理論など、フレーゲの論理学は情報科学の根幹をなしている。

【思想の形成】

ゴットロープ・フレーゲは1848年、北ドイツの港町ヴィスマールで、女子校校長の父と教師の母のもとに生まれた。イェーナ大学で数学・物理学・化学・哲学を学び、ゲッティンゲン大学で幾何学の論文により博士号を取得した。以後は終生イェーナ大学に留まり、数学科で教え続ける地味な学究生活を送った。講義は難解で受講者が少なく、生前の業績はほとんど同時代人に理解されなかった。1879年の『概念記法』、1884年の『算術の基礎』、1893年と1903年の『算術の基本法則』全二巻という主著群は、完成度の高さにもかかわらず長く埋もれていた。第二巻の印刷直前にラッセルからパラドックスを指摘される衝撃的事件は、論理主義プログラムの挫折として哲学史に刻まれる。晩年の日記には反ユダヤ的記述が含まれ、その偉大な業績との落差は現在も議論の対象である。

【思想的意義】

フレーゲの最大の革新は、アリストテレス以来二千年以上にわたり不変であった主語・述語中心の論理学を刷新し、関数と引数の構造に基づく述語論理を創始した点にある。全称量化子と存在量化子を厳密に導入し、入れ子になった命題の論理構造を透明に書き下す記号体系は、現代の数理論理学と計算機科学の共通言語となった。『意義と意味について』では「明けの明星」と「宵の明星」が同じ金星を指示しつつ認識価値が異なることを分析し、指示と意義の区別によって言語哲学の根本問題を定式化した。文の意味を構成する原理として「文脈原理」と「合成性原理」を据え、命題態度の論理的扱いの出発点を開いた。心理主義を徹底的に排し、真理を主観的な判断から切り離して客観的な思考の対象と位置づけた姿勢も、分析哲学の精神を規定している。

【影響と継承】

フレーゲの思想はラッセル、ホワイトヘッド、ウィトゲンシュタイン、カルナップを経て論理実証主義と言語哲学に継承され、分析哲学の出発点となった。クワイン、デイヴィドソン、クリプキ、ダメットらの言語哲学はフレーゲの問題圏の延長上にある。計算機科学ではアロンゾ・チャーチのラムダ計算、関数型プログラミング言語や定理証明支援系に論理主義的発想が結晶した。AIの知識表現、自然言語処理の意味論、プログラム検証の形式手法にも直接の系譜が引ける。

【さらに学ぶために】

日本語入門としては野本和幸《のもとかずゆき》『フレーゲの言語哲学』がコンパクトで信頼できる。主著は『算術の基礎』が比較的読みやすい。マイケル・ダメット『フレーゲ：言語の哲学』は権威ある研究書、ダメット『フレーゲ哲学の最新像』も重要である。ラッセル『数理哲学序説』、ウィトゲンシュタイン『論理哲学論考』と並べれば論理主義の系譜が一望できる。