https://d1021.hatenadiary.com
http://d1021.hatenablog.com

ゴットロープ・フレーゲ - Wikipedia

ドイツの哲学者、数学者、論理学者であり、現代の数理論理学、分析哲学の祖と呼ばれる。

フレーゲアリストテレス以来の最大の論理学者といわれる。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。

フレーゲは命題論理と述語論理の公理化を最初に行った人物であり、特に述語論理はそれ自体がフレーゲの発明である(実際には概念記法は高階論理の体系であり、ラムダ計算の祖ともいえる極めて先駆的なものである)。しかしそのあまりもの先進性、独創性(そしてひょっとしたら彼の既存の説への激しい攻撃)ゆえにフレーゲの同時代にはその意義は十分に理解されなかった。

またフレーゲ言語哲学分析哲学の基礎を確立した人物の一人としても数えられる。

概念記法 - Wikipedia

この本の完全な書名は「算術の式言語を模した、純粋な思考のための一つの式言語 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens」である。『概念記法』は,アリストテレスが論理学という主題を創設して以来,論理学に関するおそらく最も重要な出版物であった。フレーゲが自分の式を開発して論理に到達しようとした動機は,ライプニッツが彼の推論計算機に対して持った動機と似ている。続いてフレーゲは,数学の基礎の研究に彼の論理計算を用い,それは次の四半世紀にわたって遂行された。

http://d.hatena.ne.jp/d1021/20170607#1496831610(数理論理学)
http://d.hatena.ne.jp/d1021/20170607#1496831611(『自然哲学の数学的諸原理』)
http://d.hatena.ne.jp/d1021/20170605#1496659174フレーゲ
http://d.hatena.ne.jp/d1021/20141206#1417862193(科学的方法)
http://d.hatena.ne.jp/d1021/20141117#1416220635スマリヤン老荘哲学)

#科哲