ゴットロープ・フレーゲ
テンプレート:Infobox Philosopher ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日)は、ドイツの数学者、論理学者、哲学者である。現代の数理論理学、分析哲学の祖と呼ばれる。
フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。
業績
フレーゲはアリストテレス以来の最大の論理学者といわれる。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。今日の数学で定着している∀(任意の)や∃(存在する)のような量化はこのフレーゲの業績に基づいている。
フレーゲは命題論理と述語論理の公理化を最初に行った人物であり、特に述語論理はそれ自体がフレーゲの発明である(実際には概念記法は高階論理の体系であり、ラムダ計算の祖ともいえる極めて先駆的なものである)。しかしそのあまりもの先進性、独創性(そしてひょっとしたら彼の既存の説への激しい攻撃)ゆえにフレーゲの同時代にはその意義は十分に理解されなかった。彼の概念が広まったのは、ジュゼッペ・ペアノやバートランド・ラッセルらによるところが大きい。ルートヴィヒ・ウィトゲンシュタインとエトムント・フッサールは、フレーゲの影響を大きく受けた哲学者である。また、ルドルフ・カルナップはフレーゲの授業に出席しており、彼の(カルナップによればシャイな)性格について書き残している。
またフレーゲは言語哲学や分析哲学の基礎を確立した人物の一人としても数えられる。「意義と意味について」における意味(独:Bedeutung, 英:meaning, reference)と意義(独:Sinn, 英:sense)の区別、概念と対象との区別などで知られる。
フレーゲは数学は論理に帰着しうるとする論理主義の最初の主要な論客でもあり、彼の『算術の基本法則』(Grundgesetze der Arithmetik) は自然数論および実数論を論理から導こうとする企てであった。しかしラッセルが『算術の基本法則』の公理系が矛盾を引き起こすこと(いわゆるラッセルの逆理)を発見して指摘したため、2巻の補遺にこの矛盾について認める文言が付されている。フレーゲ自身はなんとか矛盾を回避する方法を模索したが、フレーゲの修正案にも欠陥があることが、1938年にスタニスワフ・レシニェフスキによって示された。
フレーゲの体系に矛盾が生じた原因は、ながらく彼の第5法則に帰されてきた。しかし後にチャールズ・パーソンズ、ジョージ・ブーロス、リチャード・ヘックらによって、第5法則に訴えずとも、いわゆる「ヒュームの原理」から自然数論が導出可能であることが示された。これにより、近年ではフレーゲの論理主義を再評価する動きが強まっている。
経歴
- 1848年 ヴィスマールにて出生。
- 1854年 ヴィスマールのギムナジウムに進学。
- 1866年 父カール・アレクサンダーが死去。
- 1869年 ヴィスマールのギムナジウムを卒業、イェーナ大学に進学。
- 1871年 イェーナ大学卒業。
- 1871年頃 ゲッティンゲン大学に移動。
- 1873年 数学の博士号を取得。
- 1874年 イェーナ大学に大学教授資格論文を提出し、数学科の私講師に採用される。
- 1879年 『概念記法』を刊行。
- 1879年頃 イェーナ大学の員外教授に昇進。
- 1884年 『算術の基礎』を刊行。
- 1885年 イェーナ医学・自然科学協会で「算術の形式的理論について」を講演。
- 1887年 マルガレート・リーゼブルクと結婚。
- 1891年 イェーナ医学・自然科学協会で「関数と概念」を講演。
- 1892年 論文「意義と意味について」、「概念と対象について」を発表。
- 1893年 『算術の基本法則』第1巻を刊行。
- 1895年 リューベックで第67回ドイツ自然科学者・医学者大会の数学・天文部会で講演し、ダフィット・ヒルベルトと出会う。
- 1896年 イェーナ大学の正名誉教授に昇進。
- 1898年 母アウグステ・ビアロブロツキー死去。
- 1899年 フレーゲとペアノとの交換書簡をペアノの雑誌 Rivista di matematica 上に発表。
- 1900年頃 アルフレートを養子に迎える。
- 1900年 パリ国際哲学会議に招待講演を依頼されるが断る。
- 1902年 ラッセルから「ラッセルのパラドックス」を知らせる手紙が届く。
- 1903年 『算術の基本法則』第2巻を刊行する。枢密顧問官の称号を授与される。
- 1905年 妻マルガレート死去。
- 1911年 ウィトゲンシュタインがフレーゲを訪ねる。
- 1912年 ケンブリッジ数学会議に招待講演を依頼されるが断る。
- 1917年 ウィトゲンシュタインよりウィーンに招待されるが断る。
- 1918年 イェーナ大学を退職、バート・クライネンに引退。
- 1925年 バート・クライネンにて死去。
著書
- 『概念記法』、1879年
- 『数学の基礎』、1884年
- 『算術の基本法則』、1893-1903年
- 「関数と概念」、1991年
- 「意義と意味について」、「概念と対象について」、1892年
- 「幾何学の基礎について」、1903年
- 「関数とは何か?」、1904年
- 「論理的調査」、1918–1923年
勁草書房から著作集が出ている。
- 『フレーゲ著作集1 概念記法』 藤村竜雄編、勁草書房、1999年。ISBN 4326148209
- 『フレーゲ著作集2 算術の基礎』 野本和幸、土屋俊編、勁草書房、2001年。ISBN 4326148217
- 『フレーゲ著作集3 算術の基本法則』 野本和幸編、勁草書房、2000年。ISBN 4326148225
- 『フレーゲ著作集4 哲学論集』 黒田亘、野本和幸編、勁草書房、1999年。ISBN 4326148233
- 『フレーゲ著作集5 数学論集』 野本和幸、飯田隆編、勁草書房、2001年。ISBN 4326148241
- 『フレーゲ著作集6 書簡集 付「日記」』 野本和幸編、勁草書房、2002年。ISBN 432614825X
参考文献
- 藤村竜雄 「フレーゲの生涯――解説に代えて――」『フレーゲ著作集1 概念記法』、勁草書房、249-275頁、1999年。
- 野本和幸 「編者解説」『フレーゲ著作集2 算術の基礎』、勁草書房、199-239頁、2001年。
- 野本和幸 「編者解説」『フレーゲ著作集3 算術の基本法則』、勁草書房、435-479頁、2000年。
- 野本和幸 「編者解説」『フレーゲ著作集4 哲学論集』、勁草書房、313-343頁、1999年。
- 野本和幸 「編者解説」『フレーゲ著作集6 書簡集 付「日記」』、勁草書房、385-431頁、2002年。
関連項目
参照
外部リンク
- 飯田隆「フレーゲ」(Yahoo!百科事典)
- Friedrich Ludwig Gottlob Frege MacTutor History of Mathematics archive.(英語)