45 ideas
| 10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
| 10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| 10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
| 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] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 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] |
| 10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
| 10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
| 10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
| 10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
| 10716 | There are just as many properties as the laws require [Oliver] |
| 10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
| 10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
| 10715 | There are five main semantic theories for properties [Oliver] |
| 10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
| 10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
| 10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
| 10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
| 10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
| 10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
| 10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
| 7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
| 10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
| 10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
| 7962 | Uninstantiated properties are useful in philosophy [Oliver] |
| 10722 | Instantiation is set-membership [Oliver] |
| 10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
| 10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
| 10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
| 19378 | Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R] |
| 10745 | Science is modally committed, to disposition, causation and law [Oliver] |
| 19380 | Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R] |
| 10746 | Conceptual priority is barely intelligible [Oliver] |