10 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
10885 | Computer proofs don't provide explanations [Horsten] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
16025 | If things change they become different - but then no one thing undergoes the change! [Gallois] |
16026 | 4D: time is space-like; a thing is its history; past and future are real; or things extend in time [Gallois] |
16027 | If two things are equal, each side involves a necessity, so the equality is necessary [Gallois] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |