11 ideas
18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
18266 | Mathematics generalises by using variables [Coffa] |
18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |