8 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
16776 | Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |