トップ > 人物 > フレーゲ
フレーゲ
01概要カード
述語論理を生み、「意味と指示」の区別を提示した、現代論理学の父と呼ばれる哲学者。
ゴットロープ・フレーゲ（1848–1925）はドイツの数学者・哲学者で、イエナ大学で長く教えた。当時の論理学はアリストテレス以来、ほぼ姿を変えていなかったが、フレーゲは1879年の『概念記法』で量詞を持つ述語論理を作り、現代論理学の扉を開いた。あわせて言葉の「意味」と「指示」を区別し、言語哲学の基礎も築いた。晩年にはラッセルからパラドックスの指摘を受け、自分の計画の土台が崩れる出来事を経験する。生前は無名に近かったが、死後にその仕事の大きさが知られるようになった人物である。
このページのポイント
- 1879年『概念記法』で、量詞を持つ述語論理を創始した
- 1892年、言葉の「意味」と「指示」の区別を提示した
- 1902年、ラッセルのパラドックスで基本法則Vが崩れた
タグ: 述語論理 / 論理主義 / 意味と指示 / ラッセルのパラドックス
関連エントリ
02対話編：ヒロシとミカ
（授業帰り。ヒロシが論理学の課題プリントを眺めている）
03データ編
生涯と立場
ゴットロープ・フレーゲは1848年にドイツのヴィスマールに生まれ、イエナ大学で数学を学んだ後、長く同大学で教えた。出発点は数学者であり、算術（数の学問）の証明をすべて論理の法則から導こうとする「論理主義」の計画を生涯の課題とした。主著は生前ほとんど売れず、学界での評価も低かったが、ラッセルやウィトゲンシュタインらを介して、20世紀の分析哲学と現代論理学の源流となった。1925年没。
『概念記法』と述語論理
1879年の『概念記法』で、フレーゲは関数と量詞（「すべての」「ある」）を記号化し、「すべての人は、ある人を愛している」のような重なり合った量の文まで扱える述語論理を創始した。これはアリストテレス以来ほぼ姿を変えなかった主語―述語形式の論理学を、二千年ぶりに作り替える仕事だった。1884年の『算術の基礎』で論理主義の方針を示し、1893年と1903年の『算術の基本法則』でその実行に取り組んだ。
意味と指示の区別
1892年の論文「意味と指示について」では、記号の「指示」（指し示す対象）と「意味」（対象の示され方）を区別した。「明けの明星」と「宵の明星」は同じ金星を指示するが意味が異なり、だから「両者は同じ星である」が発見として成り立つ。さらに文については、指示は真理値、意味は思想であるとした。この区別は、現代の意味論の基礎のひとつになっている。
ラッセルのパラドックスと晩年
『算術の基本法則』第2巻の刊行直前、1902年にラッセルから手紙が届いた。フレーゲの基本法則Vからは、「自分自身を要素として含まない集合の集合」という矛盾（ラッセルのパラドックス）が導けてしまうという指摘である。フレーゲは第2巻（1903年）のあとがきでこの打撃を自ら公表し、法則の修正を試みたが、論理主義の計画は土台から揺らぎ、やがて断念に至った。一方で述語論理そのものは揺るがず、現代論理学の標準的な道具として定着した。
04AI分析
意見が分かれる分岐点
分かれ目は、フレーゲの遺産をどこに見るかである。算術を論理に基礎づける「論理主義」の計画そのものはパラドックスで頓挫したが、述語論理と意味論の道具立ては後世にそのまま受け継がれた。計画の成否と道具の価値は、切り分けて評価できる。
前提の違い
- 算術の真理は論理の真理に還元できると見るか、別の基礎を要すると見るか
- 業績を生前の評価で測るか、死後の影響の大きさで測るか
現代への接続
- プログラミング言語やデータベース検索の条件式は、述語論理の子孫と言える
- 数学の証明をコンピュータで検証する定理証明支援系の研究
- 大規模言語モデルの登場で、「記号の意味とは何か」の問いが再び注目されている
※ AI分析は事実の整理と解釈の提示であり、特定の立場への断定ではありません。
05出典・参考文献
- ゴットロープ・フレーゲ『概念記法』（1879年）
- ゴットロープ・フレーゲ『算術の基礎』（1884年）
- ゴットロープ・フレーゲ「意味と指示について」（1892年）
- Stanford Encyclopedia of Philosophy, “Frege”
書籍リンクは収益ゾーンとしてこの出典セクションに置く方針（試作では実際のリンクは入れていません）。