【メモ】 Stewart Shapiro / Thinking About Mathematics: The Philosophy of Mathematics

【論理主義】 

一つ前の記事参照。

【直観主義】

・直観主義は排中律の拒否に尽きるわけではない。直観主義の根本にあるのは「数学は心的に構成される」という哲学であって、排中律の拒否はその一つの帰結に過ぎない。その他にも例えば、被定義項を含む集合への言及を含む非可述的定義の拒否がある。直観主義の理解では、言及される集合は構成に先立って存在するわけではないから、こうした非可述的定義は循環していることになる。これは排中律の拒否とは論理的に独立。また、可能無限の立場も排中律の拒否だけからは出てこない。確かに ¬∀xPx ⇒ ¬¬∃x¬Px ⇒ ∃x¬Px という推論は排中律の拒否によってブロックされるが、これが直ちに可能無限の立場を意味するわけではない。

・まだちゃんと考えたわけではないものの、直観主義論理と古典論理のどちらが「正しい」かという問いには答えがない気がする。現象論のレベルでは古典論理が有用だけれど量子のレベルでは分配律が破れるのと同様、記述対象に応じた使い分けの問題なのかもしれない。 例えば宇宙の状態は一意的に確定できないというRovelli流のRQMには直観主義論理が適しているように見える。

・Dummetの直観主義は謎。

【プラトニズム】

"But, despite their remoteness from sense experience, we do have something like a perception of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don't see any reason why we should have any less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception, which induces us to build up physical theories and to expect that future sense perceptions will agree with them." (Kurt Gödel, "What is Cantor's Continuum Problem")

[F]or Gödel, the independence of CH from ZFC shows that "these axioms do not contain a complete description of reality." (p.210)
→　ゆえにCHの真偽を確定するためには、ZFCを超出しなければならない。不完全性定理の証明において、算術体系の命題を決定するために算術体系を超出したのと同様に。

the "notion of analyticity ... just subsides into the humbler domain where its supporting intuitions hold sway: the domain of language learning and empirical semantics." (W. V. O. Quine, "Reply to Geoffrey Hellman")

To echo Mill, we know by experience that [mathematical] intuition is reliable. (p.224)

【虚構主義】

Arithmetic and real analysis can be simulated in space-time, using certain space-time points and regions as surrogates for numbers. One can also formulate a version of the continuum hypothesis in Field's synthetic physics. (p.232)
→　しかしこれは構造が等価と言ってるだけで、CHは構造そのものだとすれば、結局Fieldは数学をやっていることになるのでは、ってツッコミながら読んでたら、後でShapiroが同じこと言ってた。

Let P be a scientific statement that makes reference to say, real numbers, and let P' be a nominalistic reconstrual of P. The hermeneutic nominalist claims that P and P' have the same meaning, and so despite appearances, P does not really make any reference to real numbers. Burgess and Rosen point out that if P and P' do have the same meaning, then one is justified in the opposite conclusion: despite appearances, P' does make reference to real numbers, since it has the same meaning as P. After all, synonymy is a symmetric relation ... (p.248)