7 ideas
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |