36 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. |
| 10807 | Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis] |
| Full Idea: It is generally accepted that mathematics reduces to set theory, and I argue that set theory in turn reduces, with some aid of mereology, to the theory of the singleton function. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) |
| 10809 | We can accept the null set, but not a null class, a class lacking members [Lewis] |
| Full Idea: In my usage of 'class', there is no such things as the null class. I don't mind calling some memberless thing - some individual - the null set. But that doesn't make it a memberless class. Rather, that makes it a 'set' that is not a class. | |
| From: David Lewis (Mathematics is Megethology [1993], p.05) | |
| A reaction: Lewis calls this usage 'idiosyncratic', but it strikes me as excellent. Set theorists can have their vital null class, and sensible people can be left to say, with Lewis, that classes of things must have members. |
| 10811 | The null set plays the role of last resort, for class abstracts and for existence [Lewis] |
| Full Idea: The null set serves two useful purposes. It is a denotation of last resort for class abstracts that denote no nonempty class. And it is an individual of last resort: we can count on its existence, and fearlessly build the hierarchy of sets from it. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: This passage assuages my major reservation about the existence of the null set, but at the expense of confirming that it must be taken as an entirely fictional entity. |
| 10812 | The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis] |
| Full Idea: Should we accept the null set as a most extraordinary individual, a little speck of sheer nothingness, a sort of black hole in the fabric of Reality itself? Not that either, I think. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: Correct! |
| 10813 | What on earth is the relationship between a singleton and an element? [Lewis] |
| Full Idea: A new student of set theory has just one thing, the element, and he has another single thing, the singleton, and not the slightest guidance about what one thing has to do with the other. | |
| From: David Lewis (Mathematics is Megethology [1993], p.12) |
| 10814 | Are all singletons exact intrinsic duplicates? [Lewis] |
| Full Idea: Are all singletons exact intrinsic duplicates? | |
| From: David Lewis (Mathematics is Megethology [1993], p.13) |
| 10806 | Megethology is the result of adding plural quantification to mereology [Lewis] |
| Full Idea: Megethology is the result of adding plural quantification, as advocated by George Boolos, to the language of mereology. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) |
| 10816 | We can use mereology to simulate quantification over relations [Lewis] |
| Full Idea: We can simulate quantification over relations using megethology. Roughly, a quantifier over relations is a plural quantifier over things that encode ordered pairs by mereological means. | |
| From: David Lewis (Mathematics is Megethology [1993], p.18) | |
| A reaction: [He credits this idea to Burgess and Haven] The point is to avoid second-order logic, which quantifies over relations as ordered n-tuple sets. |
| 10808 | Mathematics is generalisations about singleton functions [Lewis] |
| Full Idea: We can take the theory of singleton functions, and hence set theory, and hence mathematics, to consist of generalisations about all singleton functions. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) | |
| A reaction: At first glance this sounds like a fancy version of the somewhat discredited Greek idea that mathematics is built on the concept of a 'unit'. |
| 10815 | We don't need 'abstract structures' to have structural truths about successor functions [Lewis] |
| Full Idea: We needn't believe in 'abstract structures' to have general structural truths about all successor functions. | |
| From: David Lewis (Mathematics is Megethology [1993], p.16) |
| 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. |
| 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. |
| 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. |
| 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? |
| 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. |
| 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. |
| 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! |
| 10810 | I say that absolutely any things can have a mereological fusion [Lewis] |
| Full Idea: I accept the principle of Unrestricted Composition: whenever there are some things, no matter how many or how unrelated or how disparate in character they may be, they have a mereological fusion. ...The trout-turkey is part fish and part fowl. | |
| From: David Lewis (Mathematics is Megethology [1993], p.07) | |
| A reaction: This nicely ducks the question of when things form natural wholes and when they don't, but I would have thought that that might be one of the central issues of metaphysicals, so I think I'll give Lewis's principle a miss. |
| 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. |
| 22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |
| Full Idea: Geach puts 'good' in the class of attributive adjectives, such as 'large' and 'small', contrasting such adjectives with 'predicative' adjectives such as 'red'. | |
| From: report of Peter Geach (Good and Evil [1956]) by Philippa Foot - Natural Goodness Intro | |
| A reaction: [In Analysis 17, and 'Theories of Ethics' ed Foot] Thus any object can simply be red, but something can only be large or small 'for a rat' or 'for a car'. Hence nothing is just good, but always a good so-and-so. This is Aristotelian, and Foot loves it. |
| 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. |