18 ideas
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [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] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
10938 | The extremes of essentialism are that all properties are essential, or only very trivial ones [Rami] |
10940 | An 'individual essence' is possessed uniquely by a particular object [Rami] |
10939 | 'Sortal essentialism' says being a particular kind is what is essential [Rami] |
10934 | Unlosable properties are not the same as essential properties [Rami] |
10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
10933 | Physical possibility is part of metaphysical possibility which is part of logical possibility [Rami] |
10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
10932 | If it is possible 'for all I know' then it is 'epistemically possible' [Rami] |