68 ideas
| 11912 | Substantive metaphysics says what a property is, not what a predicate means [Molnar] |
| 11920 | A real definition gives all the properties that constitute an identity [Molnar] |
| 10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
| 10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
| 23623 | Predicativism says only predicated sets exist [Hossack] |
| 23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
| 23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
| 10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
| 10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
| 23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |
| 23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
| 10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
| 10666 | Plural reference will refer to complex facts without postulating complex things [Hossack] |
| 10675 | A plural comprehension principle says there are some things one of which meets some condition [Hossack] |
| 10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise [Hossack] |
| 10673 | Plural language can discuss without inconsistency things that are not members of themselves [Hossack] |
| 10680 | The theory of the transfinite needs the ordinal numbers [Hossack] |
| 10684 | I take the real numbers to be just lengths [Hossack] |
| 23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
| 10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
| 10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
| 10685 | Set theory is the science of infinity [Hossack] |
| 23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
| 23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
| 11919 | Ontological dependence rests on essential connection, not necessary connection [Molnar] |
| 10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
| 11929 | The three categories in ontology are objects, properties and relations [Molnar] |
| 11927 | Reflexive relations are syntactically polyadic but ontologically monadic [Molnar] |
| 11915 | If atomism is true, then all properties derive from ultimate properties [Molnar] |
| 11916 | 'Being physical' is a second-order property [Molnar] |
| 11956 | 'Categorical properties' are those which are not powers [Molnar] |
| 11928 | Are tropes transferable? If they are, that is a version of Platonism [Molnar] |
| 11933 | A power's type-identity is given by its definitive manifestation [Molnar] |
| 11932 | Powers have Directedness, Independence, Actuality, Intrinsicality and Objectivity [Molnar] |
| 11934 | The physical world has a feature very like mental intentionality [Molnar] |
| 11947 | Dispositions and external powers arise entirely from intrinsic powers in objects [Molnar] |
| 11952 | The Standard Model suggest that particles are entirely dispositional, and hence are powers [Molnar] |
| 11953 | Some powers are ungrounded, and others rest on them, and are derivative [Molnar] |
| 11943 | Dispositions can be causes, so they must be part of the actual world [Molnar] |
| 11939 | If powers only exist when actual, they seem to be nomadic, and indistinguishable from non-powers [Molnar] |
| 11914 | Platonic explanations of universals actually diminish our understanding [Molnar] |
| 11913 | For nominalists, predicate extensions are inexplicable facts [Molnar] |
| 11962 | Nominalists only accept first-order logic [Molnar] |
| 11955 | There are no 'structural properties', as properties with parts [Molnar] |
| 11917 | Structural properties are derivate properties [Molnar] |
| 10664 | Complex particulars are either masses, or composites, or sets [Hossack] |
| 10678 | The relation of composition is indispensable to the part-whole relation for individuals [Hossack] |
| 10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules [Hossack] |
| 10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles [Hossack] |
| 11918 | The essence of a thing need not include everything that is necessarily true of it [Molnar] |
| 11963 | What is the truthmaker for a non-existent possible? [Molnar] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| 11951 | Hume allows interpolation, even though it and extrapolation are not actually valid [Molnar] |
| 11936 | The two ways proposed to distinguish mind are intentionality or consciousness [Molnar] |
| 11935 | Physical powers like solubility and charge also have directedness [Molnar] |
| 11944 | Rule occasionalism says God's actions follow laws, not miracles [Molnar] |
| 10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
| 11960 | Singular causation is prior to general causation; each aspirin produces the aspirin generalization [Molnar] |
| 11937 | We should analyse causation in terms of powers, not vice versa [Molnar] |
| 11954 | We should analyse causation in terms of powers [Molnar] |
| 11961 | Causal dependence explains counterfactual dependence, not vice versa [Molnar] |
| 11959 | Science works when we assume natural kinds have essences - because it is true [Molnar] |
| 9448 | Location in space and time are non-power properties [Molnar, by Mumford] |
| 11930 | One essential property of a muon doesn't entail the others [Molnar] |
| 11957 | It is contingent which kinds and powers exist in the world [Molnar] |
| 11921 | The laws of nature depend on the powers, not the other way round [Molnar] |
| 11931 | Energy fields are discontinuous at the very small [Molnar] |
| 10683 | We could ignore space, and just talk of the shape of matter [Hossack] |