13 ideas
4748 | Anselm of Canterbury identified truth with God [Anselm, by Engel] |
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] |
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] |