フレーゲ

ドイツの数学者・哲学者。1848-1925。

記号論理学の創始者。論理主義の立場をとる。イェーナ大学で数学を指導した。

命題計算と一階述語論理の体系をほぼひとりで構成した。

『概念文字』→アリストテレスの伝統論理を、変項や量子化により現代論理学として区別される功績を残した。

『算術の基礎』→カントを批判。