86 ideas
| 11912 | Substantive metaphysics says what a property is, not what a predicate means [Molnar] |
| 21634 | Metaphysics is (supposedly) first the ontology, then in general what things are like [Hofweber] |
| 16415 | Esoteric metaphysics aims to be top science, investigating ultimate reality [Hofweber] |
| 16413 | Science has discovered properties of things, so there are properties - so who needs metaphysics? [Hofweber] |
| 21666 | 'Fundamentality' is either a superficial idea, or much too obscure [Hofweber] |
| 11920 | A real definition gives all the properties that constitute an identity [Molnar] |
| 21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
| 17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
| 21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
| 21653 | Maybe not even names are referential, but are just by used by speakers to refer [Hofweber] |
| 10001 | An adjective contributes semantically to a noun phrase [Hofweber] |
| 21636 | 'Singular terms' are not found in modern linguistics, and are not the same as noun phrases [Hofweber] |
| 21637 | If two processes are said to be identical, that doesn't make their terms refer to entities [Hofweber] |
| 16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |
| 21643 | The inferential quantifier focuses on truth; the domain quantifier focuses on reality [Hofweber] |
| 10007 | Quantifiers for domains and for inference come apart if there are no entities [Hofweber] |
| 17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
| 9998 | What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber] |
| 10002 | '2 + 2 = 4' can be read as either singular or plural [Hofweber] |
| 21644 | Numbers are used as singular terms, as adjectives, and as symbols [Hofweber] |
| 21646 | The Amazonian Piraha language is said to have no number words [Hofweber] |
| 21665 | The fundamental theorem of arithmetic is that all numbers are composed uniquely of primes [Hofweber] |
| 21649 | How can words be used for counting if they are objects? [Hofweber] |
| 10003 | Why is arithmetic hard to learn, but then becomes easy? [Hofweber] |
| 10008 | Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber] |
| 10005 | Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber] |
| 10000 | We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber] |
| 21647 | Logicism makes sense of our ability to know arithmetic just by thought [Hofweber] |
| 21648 | Neo-Fregeans are dazzled by a technical result, and ignore practicalities [Hofweber] |
| 10006 | First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber] |
| 11919 | Ontological dependence rests on essential connection, not necessary connection [Molnar] |
| 21664 | Supervenience offers little explanation for things which necessarily go together [Hofweber] |
| 21660 | Reality can be seen as the totality of facts, or as the totality of things [Hofweber] |
| 21661 | There are probably ineffable facts, systematically hidden from us [Hofweber] |
| 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] |
| 17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
| 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] |
| 21652 | Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber] |
| 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] |
| 21663 | Counterfactuals are essential for planning, and learning from mistakes [Hofweber] |
| 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] |
| 10004 | Our minds are at their best when reasoning about objects [Hofweber] |
| 11944 | Rule occasionalism says God's actions follow laws, not miracles [Molnar] |
| 21654 | The "Fido"-Fido theory of meaning says every expression in a language has a referent [Hofweber] |
| 21641 | Inferential role semantics is an alternative to semantics that connects to the world [Hofweber] |
| 21638 | Syntactic form concerns the focus of the sentence, as well as the truth-conditions [Hofweber] |
| 21658 | Properties can be expressed in a language despite the absence of a single word for them [Hofweber] |
| 21659 | 'Being taller than this' is a predicate which can express many different properties [Hofweber] |
| 21655 | Compositonality is a way to build up the truth-conditions of a sentence [Hofweber] |
| 21656 | Proposition have no content, because they are content [Hofweber] |
| 21635 | Without propositions there can be no beliefs or desires [Hofweber] |
| 21662 | Do there exist thoughts which we are incapable of thinking? [Hofweber] |
| 21645 | 'Semantic type coercion' is selecting the reading of a word to make the best sense [Hofweber] |
| 21639 | 'Background deletion' is appropriately omitting background from an answer [Hofweber] |
| 17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| 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] |