33 ideas
4456 | Epistemological Ockham's Razor demands good reasons, but the ontological version says reality is simple [Moreland] |
Full Idea: Ockham's Razor has an epistemological version, which says we should not multiply existences or explanations without adequate reason, and an ontological version, which says reality is simple, and so a simpler ontology represents it more accurately. | |
From: J.P. Moreland (Universals [2001], Ch.2) | |
A reaction: A nice distinction. Is it reality which is simple, or us? One shouldn't write off the ontological version. If one explanation is simpler than the others, there may be a reason in nature for that. |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
4474 | Existence theories must match experience, possibility, logic and knowledge, and not be self-defeating [Moreland] |
Full Idea: A theory of existence should 1) be consistent with what actually exists, 2) be consistent with what could exist, 3) not make existence impossible (e.g. in space-time), 4) not violate logic, 5) make knowing the theory possible. | |
From: J.P. Moreland (Universals [2001], Ch.6) | |
A reaction: A nice bit of metaphilosophical analysis. I still doubt whether a theory of existence is possible (something has to be 'given' a priori), but this is a good place to start the attempt. |
4461 | Tropes are like Hume's 'impressions', conceived as real rather than as ideal [Moreland] |
Full Idea: Tropes are (says Campbell) substances (in Hume's sense), and indeed resemble his impressions conceived realistically rather than idealistically. | |
From: J.P. Moreland (Universals [2001], Ch.3) | |
A reaction: An interesting link. It doesn't get rid of the problem Hume has, of saying when two impressions are the same. Are they types or tokens? Trope-theory claims they are tokens. Hume's ontology includes 'resemblance'. |
4462 | A colour-trope cannot be simple (as required), because it is spread in space, and so it is complex [Moreland] |
Full Idea: A property-instance must be spread out in space, or it is not clear how a colour nature can be present, but then it has to be a complex entity, and tropes are supposed to be simple entities. | |
From: J.P. Moreland (Universals [2001], Ch.3) | |
A reaction: Seems a fair point. Nothing else in reality can be sharply distinguished, so why should 'simple' and 'complex'? |
4463 | In 'four colours were used in the decoration', colours appear to be universals, not tropes [Moreland] |
Full Idea: If a decorator says that they used four colours to decorate a house, four tropes is not what was meant, and the statement seems to view colours as universals. | |
From: J.P. Moreland (Universals [2001], Ch.3) | |
A reaction: Although I am suspicious of using language to deduce ontology, you have to explain why certain statements (like this) are even possible to make. |
4451 | If properties are universals, what distinguishes two things which have identical properties? [Moreland] |
Full Idea: If properties are universals, what account can be given of the individuation of two entities that have all their pure properties in common? | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: Is this a big problem? Maybe only a space-time location can do it. Or, in the nice case where the universe is just two identical spheres, it may be impossible. |
4453 | One realism is one-over-many, which may be the model/copy view, which has the Third Man problem [Moreland] |
Full Idea: One version of realism says that the universal does not enter into the being of its instances, and thus is a One-Over-Many. One version of this is the model/copy view, but this is not widely held, because of difficulties such as the Third Man Argument. | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: This presumably arises if the model is held to have the properties of the copy (self-predication), and looks like a bad theory |
4464 | Realists see properties as universals, which are single abstract entities which are multiply exemplifiable [Moreland] |
Full Idea: Traditional realism is the view that a property is a universal construed as a multiply exemplifiable abstract entity that is a numerically identical constituent in each of its instances. | |
From: J.P. Moreland (Universals [2001], Ch.4) | |
A reaction: Put like that, it seems hard to commit oneself fully to realism. How can two red buses contain one abstract object spread out between them. Common sense says there are two 'rednesses' which resemble one another, which is a version of nominalism. |
4450 | The traditional problem of universals centres on the "One over Many", which is the unity of natural classes [Moreland] |
Full Idea: Historically the problem of universals has mainly been about the "One over Many", which involves giving an account of the unity of natural classes. | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: This still strikes me as the main problem (rather than issues of language). If universals are not natural, they must be analysed as properties, which break down into causation, which is seen as a human convention. |
4449 | Evidence for universals can be found in language, communication, natural laws, classification and ideals [Moreland] |
Full Idea: Those who believe in universals appeal to the meaningfulness of language, the lawlike nature of causation, the inter-subjectivity of thinking, our ability to classify new entities, gradation, and the need for perfect standards or paradigms. | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: Of these, language and communication ought to be explicable by convention, but classification and natural laws look to me like the best evidence. |
4454 | The One-In-Many view says universals have abstract existence, but exist in particulars [Moreland] |
Full Idea: Another version of realism says is One-In-Many, where the universal is not another particular, but is literally in the instances. The universal is an abstract entity, in the instances by means of a primitive non-spatiotemporal tie of predication. | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: This sounds like Aristotle (and is Loux's view of properties and relations). If they are abstract, why must they be confined to particulars? |
4452 | Maybe universals are real, if properties themselves have properties, and relate to other properties [Moreland] |
Full Idea: Realism about universals is supported by the phenomenon of abstract reference - that is the fact that properties themselves have properties ('red is a colour'), and stand in relation to other properties ('red is more like orange than like blue'). | |
From: J.P. Moreland (Universals [2001], Ch.1) | |
A reaction: While a property may be an obviously natural feature, properties of properties seem more likely to be the produce of human perception and convention. It is a good argument, though. |
4467 | A naturalist and realist about universals is forced to say redness can be both moving and stationary [Moreland] |
Full Idea: If a property is held to be at the location of the particular, then if there are two objects having the same property, and one object is stationary and the other is moving, the realist is forced to say that the universal is both moving and at rest. | |
From: J.P. Moreland (Universals [2001], Ch.4) | |
A reaction: The target of this comment is D.M.Armstrong. The example nicely illustrates the problem of trying to combine science and metaphysics. It pushes you back to Platonism, but that seems wrong too… |
4469 | There are spatial facts about red particulars, but not about redness itself [Moreland] |
Full Idea: When one attends to something existing in space, one attends to an instance of redness, not to redness itself (which is a colour, which resembles orange). The facts about red itself are not spatial facts, but are traditionally seen as a priori synthetic. | |
From: J.P. Moreland (Universals [2001], Ch.4) | |
A reaction: This is the fact that properties can themselves have properties (and so on?), which seems to take us further and further from the natural world. |
4468 | How could 'being even', or 'being a father', or a musical interval, exist naturally in space? [Moreland] |
Full Idea: Many properties (being even) and relations (musical intervals, being a father) are such that it is not clear what it would mean to take them as natural things existing in space. | |
From: J.P. Moreland (Universals [2001], Ch.4) | |
A reaction: 'Being even' certainly seems to be a property, and it is a struggle to see how it could exist in space, unless it is a set of actual or potential brain states. |
4472 | Redness is independent of red things, can do without them, has its own properties, and has identity [Moreland] |
Full Idea: Four arguments for Platonism: 1) there are truths about redness (it's a colour) even if nothing red exists, 2) redness does not depend on particulars, 3) most universals are at some time not exemplified, 4) universals satisfy the criteria of existence. | |
From: J.P. Moreland (Universals [2001], Ch.6) | |
A reaction: This adds up to quite a good case, particularly the point that things can be said about redness which are independent of any particular, but the relationships between concepts and the brain seems at the heart of the problem. |
4459 | Moderate nominalism attempts to embrace the existence of properties while avoiding universals [Moreland] |
Full Idea: Moderate nominalism attempts to embrace the existence of properties while avoiding universals. | |
From: J.P. Moreland (Universals [2001], Ch.2) | |
A reaction: Clearly there is going to be quite a struggle to make sense of 'exists' here (Russell tries 'subsists). Presumably each property must be a particular? |
4458 | Unlike Class Nominalism, Resemblance Nominalism can distinguish natural from unnatural classes [Moreland] |
Full Idea: Resemblance Nominalism is clearly superior to Class Nominalism, since the former offers a clear ground for distinguishing between natural and unnatural classes. | |
From: J.P. Moreland (Universals [2001], Ch.2) | |
A reaction: Important. It seems evident to me that there are natural classes, and the only ground for this claim would be either the resemblance or the identity of properties. |
4457 | There can be predicates with no property, and there are properties with no predicate [Moreland] |
Full Idea: Linguistic predicates are neither sufficient nor necessary for specifying a property. Predicates can be contrived which express no property, properties are far more numerous than linguistic predicates, and properties are what make predicates apply. | |
From: J.P. Moreland (Universals [2001], Ch.2) | |
A reaction: This seems to me conclusive, and is a crucial argument against anyone who thinks that our metaphysics can simply be inferred from our language. |
4471 | We should abandon the concept of a property since (unlike sets) their identity conditions are unclear [Moreland] |
Full Idea: Some argue that compared to sets, the identity conditions for properties are obscure, and so properties, including realist depictions of them, should be rejected. | |
From: J.P. Moreland (Universals [2001], Ch.6) | |
A reaction: I have never thought that difficulty in precisely identifying something was a good reason for denying its existence. Consider low morale in a work force. 2nd thoughts: I like this! |
10626 | Objects just are what singular terms refer to [Hale/Wright] |
Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
4476 | Most philosophers think that the identity of indiscernibles is false [Moreland] |
Full Idea: Most philosophers think that the identity of indiscernibles is false. | |
From: J.P. Moreland (Universals [2001], Ch.7) | |
A reaction: This is as opposed to the generally accepted 'indiscernibility of identicals'. 'Discernment' is an epistemological concept, and 'identity' is an ontological concept. |
4460 | Abstractions are formed by the mind when it concentrates on some, but not all, the features of a thing [Moreland] |
Full Idea: If something is 'abstract' it is got before the mind by an act of abstraction, that is, by concentrating attention on some (but not all) of what is presented. | |
From: J.P. Moreland (Universals [2001], Ch.3) | |
A reaction: Presumably it usually involves picking out the behavioural or causal features, and leaving out the physical features - though I suppose it works for physical properties too… |
4455 | It is always open to a philosopher to claim that some entity or other is unanalysable [Moreland] |
Full Idea: It is always open to a philosopher to claim that some entity or other is unanalysable. | |
From: J.P. Moreland (Universals [2001], Ch.2) | |
A reaction: For example, Davidson on truth. There is an onus to demonstrate why all attempted analyses fail. |
10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
4473 | 'Presentism' is the view that only the present moment exists [Moreland] |
Full Idea: 'Presentism' is the view that only the present moment exists. | |
From: J.P. Moreland (Universals [2001], Ch.6) | |
A reaction: And Greek scepticism doubted even the present, since there is no space between past and future. It is a delightfully vertigo-inducing idea. |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |
Full Idea: Rachels argues 1) If any being is God, he must be a fitting object of worship, 2) No being could be a fitting object of worship, since worship requires the abandonment of one's role as an autonomous moral agent, so 3) There cannot be a being who is God. | |
From: report of James Rachels (God and Human Attributes [1971], 7 p.334) by Brian Davies - Introduction to the Philosophy of Religion 9 'd morality' | |
A reaction: Presumably Lionel Messi can be a fitting object of worship without being God. Since the problem is with being worshipful, rather than with being God, should I infer that Messi doesn't exist? |