数学的存在論
https://sokrates7chaos.hatenablog.com/entry/ontology-of-mathematical-objects
元々数字って存在しているのか存在していないのか結構不思議だったので、調べたらこんなのが出てきた。嬉しい~。
以下引用
A: 「100以上の自然数は存在する」この命題は真ですね.
B: はい.
A: その結論として「自然数は存在する」を得ることができます.当然,この命題も真ですね.
B: はい.
A: それでは,自然数が存在することを認めていただけますね?
B: ?????????
この議論がおかしいのは A が三番目の問答の際に今まで「数学の用語として」用いてきた「存在」の意味を「存在論で問題になっている『存在』」にすり替えているからであると思われる.
ここまで引用
これが凄く大事で、数学用語としての存在は存在論的存在ではないのだという分別が出来ていないとマズイ。