29 ideas
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 18877 | Moral realism doesn't seem to entail the existence of any things [Cameron] |
| 18868 | Surely if some propositions are grounded in existence, they all are? [Cameron] |
| 18867 | Orthodox Truthmaker applies to all propositions, and necessitates their truth [Cameron] |
| 18873 | God fixes all the truths of the world by fixing what exists [Cameron] |
| 18879 | What the proposition says may not be its truthmaker [Cameron] |
| 18880 | Rather than what exists, some claim that the truthmakers are ways of existence, dispositions, modalities etc [Cameron] |
| 18874 | Truthmaking doesn't require realism, because we can be anti-realist about truthmakers [Cameron] |
| 18869 | Without truthmakers, negative truths must be ungrounded [Cameron] |
| 18870 | Maybe truthmaking and correspondence stand together, and are interdefinable [Cameron] |
| 18871 | I support the correspondence theory because I believe in truthmakers [Cameron] |
| 17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
| 17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
| 10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
| 13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
| 17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
| 13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
| 13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
| 18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
| 13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
| 9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
| 18881 | For realists it is analytic that truths are grounded in the world [Cameron] |
| 18875 | Realism says a discourse is true or false, and some of it is true [Cameron] |
| 18878 | Realism says truths rest on mind-independent reality; truthmaking theories are about which features [Cameron] |
| 18872 | We should reject distinct but indiscernible worlds [Cameron] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |