20 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] |
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] |
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
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] |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
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] |
18165 | My Basic Law V is a law of pure logic [Frege] |
8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |