60 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] |
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 11919 | Ontological dependence rests on essential connection, not necessary connection [Molnar] |
| 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] |
| 11953 | Some powers are ungrounded, and others rest on them, and are derivative [Molnar] |
| 11952 | The Standard Model suggest that particles are entirely dispositional, and hence are powers [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] |
| 11917 | Structural properties are derivate properties [Molnar] |
| 11955 | There are no 'structural properties', as properties with parts [Molnar] |
| 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] |
| 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] |
| 536 | We should follow the law in public, and nature in private [Antiphon] |
| 1557 | To gain the greatest advantage only treat law as important when other people are present [Antiphon] |
| 540 | The way you spend your time will form your character [Antiphon] |
| 539 | Nothing is worse for mankind than anarchy [Antiphon] |
| 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] |