今日のぼやき

図式文字や図式的なものを持ってくれば問題が解決するのかなぁ。メタ言語なりメタレベルの理解なりに問題を先送りしているだけに思えるんだけど。論理的に再構成された数学理論に対して哲学的問いを立てる意義はないとは言わないが、少なくともそれは実際の数学じゃないんじゃないかと。公理化された枠組の中で純粋に数学をする数学者がどれほどいるのだろうかと。

とりあえずこんな文章でも引用してみよう。

Any account that attempts to base arithmetic on a subject matter treated as schematic, abstracting from the particular features of our sensibility or our language, loosens the binding between us that explains how we communicate with one another, and hence risks descending into solipsism. (M. Potter, Reason's Nearest Kin, p. 284.)