18 ideas
8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
19318 | A 'sequence' of objects is an order set of them [Kirkham] |
19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
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] |
8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |