フレーゲ『算術の基本法則』における「概念記法」～記号論理の原点 - テンメイのＲＵＮ＆ＢＩＫＥ

数学の基本である自然数（０，１，２，３・・・）にこだわって記事を書く流れ で、論理哲学者の大物・フレーゲの記事も書いてみたけど、予想通り、 読者は少ない。その一方で、数学者・ペアノの記事には予想以上の検 索アクセスが入り続けてる（ただし足し算記事が大半）。数学好きの私の 知人達に聞いても、フレーゲは名前しか知らない感じだ。 この極端な違いには、まず哲学と数学の人気や普及度の差が影響して るだろう。算数や数学は誰でも相当な労力を費やして来たし、「１＋１は なぜ２なのか？」という問題も、分かりやすくて有名だ。それに対して、哲 学に興味を持つ人はごく一部だし、その人達でさえ、厳密な話や難しい 理屈は苦手とすることが多い。 また、歴史的な事情もかなり影響してるだろう。フレーゲは、数学を論 理学へと完全に還元しようとした「論理主義」の代表だけど、その理想 は「ラッセルのパラドクス」によって阻止され、

[tanimina]

フレーゲ「概念記法」の表記法の解説。cf. Philip Wadler「As Natural as 0,1,2」http://homepages.inf.ed.ac.uk/wadler/papers/natural/natural3.pdf

[karatte]

ゲーデル待ち

[kmiura]

プログラミング言語との関係も知りたいなあ。

[tokyocat]

わかりやすい！