28 ideas
4036 | What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver] |
Full Idea: Armstrong argues that what matters is not how few entities we postulate (quantitative economy), but how few kinds of entities (qualitative economy). | |
From: report of David M. Armstrong (Properties [1992]) by DH Mellor / A Oliver - Introduction to 'Properties' §9 | |
A reaction: Is this what Ockham meant? Armstrong is claiming that the notion of a 'property' is needed to identify kinds. See also Idea 7038. |
12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
15754 | Without properties we would be unable to express the laws of nature [Armstrong] |
Full Idea: The ontological correlates of true law-statements must involve properties. How else can one pick our the uniformities which the law-statements entail? | |
From: David M. Armstrong (Properties [1992], 1) | |
A reaction: I'm unconvinced about the 'laws', but I have to admit that it is hard to know how to describe the relevant bits of nature without some family of concepts covered by the word 'property'. I'm in favour of taking some of the family into care, though. |
12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
4034 | Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong] |
Full Idea: Evading properties by means of predicates is implausible when things change. If a cold thing becomes hot, first 'cold' applies, and then 'hot', but what have predicates to do with the temperature of an object? | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: A clear illustration of why properties are part of nature, not just part of language. But some applications of predicates are more arbitrary than this (ugly, cool) |
8535 | To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong] |
Full Idea: Upholders of properties have been inclined to postulate a distinct property corresponding to each distinct predicate. We could start by eliminating all those properties where the predicate fails to apply, is not true, of anything. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: This would leave billions of conjunctional, disjunctional and gerrymandered properties where the predicate applies very well. We are all 'on the same planet as New York'. Am I allowed to say that I 'wish' that a was F? He aims for 'sparse' properties. |
18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
8537 | Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong] |
Full Idea: Exact similarity is a symmetrical and transitive relation. (Less than exact similarity is not transitive, even for tropes). So the relation of exact similarity is an equivalence relation, partitioning the field of tropes into equivalence classes. | |
From: David M. Armstrong (Properties [1992], §2) | |
A reaction: Armstrong goes on the explore the difficulties for trope theory of less than exact similarity, which is a very good line of discussion. Unfortunately it is a huge problem for everyone, apart from the austere nominalist. |
8538 | Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong] |
Full Idea: Trope theory needs extra ontological baggage, the Axioms of Resemblance. There is a principle of symmetry, and there is the failure of transitivity - except in the special case of exact resemblance. | |
From: David M. Armstrong (Properties [1992], §2) | |
A reaction: [see text for fuller detail] Is it appropriate to describe such axioms as 'ontological' baggage? Interesting, though I suspect that any account of properties and predicates will have a similar baggage of commitments. |
8539 | Universals are required to give a satisfactory account of the laws of nature [Armstrong] |
Full Idea: A reason why I reject trope theory is that universals are required to give a satisfactory account of the laws of nature. | |
From: David M. Armstrong (Properties [1992], §2) | |
A reaction: This is the key thought in Armstrong's defence of universals. Issues about universals may well be decided on such large playing fields. I think he is probably wrong, and I will gradually explain why. Watch this space as the story unfolds... |
8529 | Deniers of properties and relations rely on either predicates or on classes [Armstrong] |
Full Idea: The great deniers of properties and relations are of two sorts: those who put their faith in predicates and those who appeal to sets (classes). | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: This ignores the Quine view, which is strictly for ostriches. Put like this, properties and relations seem undeniable. Predicates are too numerous (gerrymandering) or too few (colour shades). Classes can have arbitrary members. |
8532 | Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong] |
Full Idea: If a resembles b, in general, they resemble in certain respects, and fail to resemble in other respects. But respects are uncomfortably close to properties, which the Resemblance theory proposes to do without. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: This is a good objection. I think it is plausible to build a metaphysics around the idea of respects, and drop properties. Shall we just talk of 'respects' for categorising, and 'powers' for causation and explanation? Respects only exist in comparisons. |
8530 | Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong] |
Full Idea: To appreciate the implausibility of the predicate view, consider where a thing's properties change. 'Hot' becomes applicable when 'cold' ceases to, ..but the change in the object would have occurred if the predicates had never existed. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: They keep involving secondary qualities! Armstrong is taking a strongly realist view (fine by me), but anti-realists can ignore his argument. I take predicate nominalism to be a non-starter. |
8536 | We want to know what constituents of objects are grounds for the application of predicates [Armstrong] |
Full Idea: The properties that are of ontological interest are those constituents of objects, of particulars, which serve as the ground in the objects for the application of predicates. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: Good. This is a reversal of the predicate nominalist approach, and is a much healthier attitude to the relationship between ontology and language. Value judgements will be an interesting case. Does this allow us to invent new predicates? |
8531 | In most sets there is no property common to all the members [Armstrong] |
Full Idea: Most sets are uninteresting because they are utterly heterogeneous, that is, the members have nothing in common. For most sets there is no common property F, such that the set is the set of all the Fs. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: One might link the interesting sets together by resemblance, without invoking the actual existence of an item F which all the members carry (like freemasons' briefcases). Personally I am only really interested in 'natural' sets. |
15753 | Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong] |
Full Idea: A sophisticated Resemblance theory can appeal to the natures of the resembling things, from which the resemblances flow. The natures are suitably internal, but are as coarse as the things themselves (and perhaps are the things themselves). | |
From: David M. Armstrong (Properties [1992], 1) | |
A reaction: Note that this is essentialism as an underpinning for Resemblance Nominalism. His objection is that he just can't believe in essences, because they are too 'coarse' - which I take to mean that we cannot distinguish the boundaries of an essence. |
10994 | Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read] |
Full Idea: Stalnaker proposes that a conditional is true if its consequent is true in the minimal revision in which the antecedent is true, that is, in the most similar possible world in which the antecedent is true. | |
From: report of Robert C. Stalnaker (works [1970]) by Stephen Read - Thinking About Logic Ch.3 | |
A reaction: A similar account of counterfactuals was taken up by Lewis to give a (rather dubious) account of causation. |
12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
12231 | Reference needs truth as well as sense [Hale/Wright] |
Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
8533 | Predicates need ontological correlates to ensure that they apply [Armstrong] |
Full Idea: Must there not be something quite specific about the thing which allows, indeed ensures, that predicates like 'underneath' and 'hot' apply? The predicates require ontological correlates. | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: An interesting proposal, that in addition to making use of predicates, we should 'ensure that they apply'. Sounds verificationist. Obvious problem cases would be speculative, controversial or metaphorical predicates. "He's beneath contempt". |
4035 | There must be some explanation of why certain predicates are applicable to certain objects [Armstrong] |
Full Idea: When we have said that predicates apply to objects, we have surely not said enough. The situation cries out for an explanation. Must there not be something specific about the things which allows, indeed ensures, that these predicates apply? | |
From: David M. Armstrong (Properties [1992], §1) | |
A reaction: A nice challenge to any philosopher who places too much emphasis on language. A random and arbitrary (nominalist?) language simply wouldn't work. Nature has joints. |
8541 | Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong] |
Full Idea: Regularity theories make laws molecular, with no inner causal connections; also, only some cosmic regularities are manifestations of laws; molecular states can't sustain counterfactuals; and probabilistic laws are hard to accommodate. | |
From: David M. Armstrong (Properties [1992], §2) | |
A reaction: [very compressed] A helpful catalogue of difficulties. The first difficulty is the biggest one - that regularity theories have nothing to say about why there is a regularity. They offer descriptions instead of explanations. |
8540 | The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong] |
Full Idea: Regularity theories of laws face the grue problem. That, I think, can only be got over by introducing properties, sparse properties, into one's ontology. | |
From: David M. Armstrong (Properties [1992], §2) | |
A reaction: The problem is, roughly, that regularities have to be described in language, which is too arbitrary in character. Armstrong rightly tries to break the rigid link to language. See his Idea 8536, which puts reality before language. |