16 ideas
| 23449 | Interpreting a text is representing it as making sense [Morris,M] |
| 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] |
| 23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
| 23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
| 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] |
| 23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
| 23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
| 23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
| 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] |
| 23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |