18 ideas
| 21697 | The Struthionic Fallacy is that of burying one's head in the sand [Quine] |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| 21698 | All relations, apart from ancestrals, can be reduced to simpler logic [Quine] |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| 21696 | Nominalism rejects both attributes and classes (where extensionalism accepts the classes) [Quine] |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| 8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
| 8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
| 8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
| 8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
| 8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
| 8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
| 8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
| 8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |