21 ideas
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] |
18935 | Semantic theory should specify when an act of naming is successful [Sawyer] |
18945 | Millians say a name just means its object [Sawyer] |
18934 | Sentences with empty names can be understood, be co-referential, and even be true [Sawyer] |
18938 | Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer] |
18947 | Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer] |
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] |
12215 | The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
12211 | It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K] |
12209 | The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
12214 | 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K] |
12212 | Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K] |
12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
12217 | For ontology we need, not internal or external views, but a view from outside reality [Fine,K] |
12213 | Ontological claims are often universal, and not a matter of existential quantification [Fine,K] |