50 ideas
6123 | Empirical investigation can't discover if holes exist, or if two things share a colour [Merricks] |
Full Idea: Ontology is not empirical, but ontologists do make discoveries; empirical investigation won't discover that holes exist; we see that two things are the same colour, but a philosopher must resolve whether one universal is present in both. | |
From: Trenton Merricks (Objects and Persons [2003], Pref) | |
A reaction: This is one of the best, simplest and clearest statements I have encountered of the autonomy of philosophy. One may, of course, respond by saying 'who cares?', but then who cares about quarks, or the economy of the Spanish Empire? |
18261 | A simplification which is complete constitutes a definition [Kant] |
Full Idea: By dissection I can make the concept distinct only by making the marks it contains clear. That is what analysis does. If this analysis is complete ...and in addition there are not so many marks, then it is precise and so constitutes a definition. | |
From: Immanuel Kant (Wiener Logik [1795], p.455), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
A reaction: I think Aristotle would approve of this. We need to grasp that a philosophical definition is quite different from a lexicographical definition. 'Completeness' may involve quite a lot. |
10405 | In the iterative conception of sets, they form a natural hierarchy [Swoyer] |
Full Idea: In the iterative conception of sets, they form a natural hierarchy. | |
From: Chris Swoyer (Properties [2000], 4.1) |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
Full Idea: In logic the question is not one of contingent but of necessary rules, not how to think, but how we ought to think. | |
From: Immanuel Kant (Wiener Logik [1795], p.16), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Trans' | |
A reaction: Presumably it aspires to the objectivity of a single correct account of how we all ought to think. I'm sympathetic to that, rather than modern cultural relativism about reason. Logic is rooted in nature, not in arbitrary convention. |
10407 | Logical Form explains differing logical behaviour of similar sentences [Swoyer] |
Full Idea: 'Logical Form' is a technical notion motivated by the observation that sentences with a similar surface structure may exhibit quite different logical behaviour. | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: [Swoyer goes on to give some nice examples] The tricky question is whether each sentence has ONE logical form. Pragmatics warns us of the dangers. One needs to check numerous inferences from a given sentences, not just one. |
6143 | Prolonged events don't seem to endure or exist at any particular time [Merricks] |
Full Idea: That events endure is difficult to reconcile with the claim that, say, the American Civil War existed; for such an event seems never to have been 'wholly present' at any single time. | |
From: Trenton Merricks (Objects and Persons [2003], §3 n14) | |
A reaction: A nice problem example for those who, like Kim, want their ontology to include events. Personally I am happy to allow some vagueness here. The Civil War only became an 'event' on the day it finished. An event's time need not be an instant. |
10421 | Supervenience is nowadays seen as between properties, rather than linguistic [Swoyer] |
Full Idea: Supervenience is sometimes taken to be a relationship between two fragments of language, but it is increasingly taken to be a relationship between pairs of families of properties. | |
From: Chris Swoyer (Properties [2000], 7.17) | |
A reaction: If supervenience is a feature of the world, rather than of our descriptions, then it cries out for explanation, just as any other regularities do. Personally I would have thought the best explanation of the supervenience of mind and body was obvious. |
10410 | Anti-realists can't explain different methods to measure distance [Swoyer] |
Full Idea: Anti-realists theories of measurement (like operationalism) cannot explain how we can use different methods to measure the same thing (e.g. lengths and distances in cosmology, geology, histology and atomic physics). | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: Swoyer says that the explanation is that measurement aims at objective properties, the same in each of these areas. Quite good. |
6135 | A crumbling statue can't become vague, because vagueness is incoherent [Merricks] |
Full Idea: Some would say that annihilating grains of stone from the statue of David (playing the 'Sorites Game') could never make its identity vague, because metaphysical vagueness is simply unintelligible. | |
From: Trenton Merricks (Objects and Persons [2003], §2.II) | |
A reaction: He cites Russell, Dummett and Lewis in support. But Russell is a logical atomist, and Lewis says identity is composition. It strikes me as obvious that identity can be vague; the alternative is the absurdities of the Sorites paradox. |
10416 | Can properties have parts? [Swoyer] |
Full Idea: Can properties have parts? | |
From: Chris Swoyer (Properties [2000], 6.4) | |
A reaction: If powers are more fundamental than properties, with the latter often being complexes of the underlying powers, then yes they do. But powers don't. Presumably whatever is fundamental shouldn't have parts. Why? |
10399 | If a property such as self-identity can only be in one thing, it can't be a universal [Swoyer] |
Full Idea: Some properties may not be universals, if they can only be exemplified by one thing, such as 'being identical with Socrates'. | |
From: Chris Swoyer (Properties [2000]) | |
A reaction: I think it is absurd to think that self-identity is an intrinsic 'property', possessed by everything. That a=a is a convenience for logicians, meaning nothing in the world. And it is relational. The sharing of properties is indeed what needs explanation. |
6145 | Intrinsic properties are those an object still has even if only that object exists [Merricks] |
Full Idea: Intrinsic properties are, by and large, those properties that an object can exemplify even if that object and its parts (if any) are the only objects that exist. | |
From: Trenton Merricks (Objects and Persons [2003], §4.I) | |
A reaction: This leads to all sorts of properties that seemed intrinsic turning out to be relational. In what sense would a single object have mass, or impenetrability? |
10417 | There are only first-order properties ('red'), and none of higher-order ('coloured') [Swoyer] |
Full Idea: 'Elementarism' is the view that there are first-order properties, but that there are no properties of any higher-order. There are first-order properties like various shades of red, but there is no higher-order property, like 'being a colour'. | |
From: Chris Swoyer (Properties [2000], 7.1) | |
A reaction: [He cites Bergmann 1968] Interesting. Presumably the programme is naturalistic (and hence congenial to me), and generalisations about properties are conceptual, while the properties themselves are natural. |
10413 | The best-known candidate for an identity condition for properties is necessary coextensiveness [Swoyer] |
Full Idea: The best-known candidate for an identity condition for properties is necessary coextensiveness. | |
From: Chris Swoyer (Properties [2000], 6) | |
A reaction: The necessity (in all possible worlds) covers renates and cordates. It is hard to see how one could assert the necessity without some deeper explanation. What makes us deny that actually coextensive renates and cordates have different properties? |
10402 | Various attempts are made to evade universals being wholly present in different places [Swoyer] |
Full Idea: The worry that a single thing could be wholly present in widely separated locations has led to trope theory, to the claim that properties are not located in their instances, or to the view that this treats universals as if they were individuals. | |
From: Chris Swoyer (Properties [2000], 2.2) | |
A reaction: I find it dispiriting to come to philosophy in the late twentieth century and have to inherit such a ridiculous view as that there are things that are 'wholly present' in many places. |
10400 | Conceptualism says words like 'honesty' refer to concepts, not to properties [Swoyer] |
Full Idea: Conceptualists urge that words like 'honesty', which might seem to refer to properties, really refer to concepts. A few contemporary philosophers have defended conceptualism, and recent empirical work bears on it, but the view is no longer common. | |
From: Chris Swoyer (Properties [2000], 1.1) | |
A reaction: ..and that's all Swoyer says about this very interesting view! He only cites Cocchiarella 1986 Ch.3. The view leaves a lot of work to be done in explaining how nature is, and how our concepts connect to it, and arise in response to it. |
6124 | I say that most of the objects of folk ontology do not exist [Merricks] |
Full Idea: I argue against the existence of most of the objects alleged to exist by what we might call 'folk ontology'. | |
From: Trenton Merricks (Objects and Persons [2003], §1) | |
A reaction: This is the programme for Merricks's heroic book, denying (quite plausibly) the need for large objects in our ontology. It seems that ontology must multiply its entities prodigiously, or else be austere in the extreme. Is there no middle way? |
6134 | Is swimming pool water an object, composed of its mass or parts? [Merricks] |
Full Idea: Some - such as those who endorse unrestricted composition or those who believe in a kind of entity called 'a mass' - say that 'the water in the swimming pool' refers to a big material object. | |
From: Trenton Merricks (Objects and Persons [2003], §2.I) | |
A reaction: A well-chosen example to support his thesis that large objects don't (strictly) exist. We certainly must not say (in Quine fashion) that we must accept the ontology of our phrases. I cut nature at the joints, and I say a pool is an obvious joint. |
10403 | If properties are abstract objects, then their being abstract exemplifies being abstract [Swoyer] |
Full Idea: If properties are abstract objects, then the property of being abstract should itself exemplify the property of being abstract. | |
From: Chris Swoyer (Properties [2000], 2.2) | |
A reaction: Swoyer links this observation with Plato's views on self-predication, and his Third Man Argument (which I bet originated with Aristotle in the Academy!). Do we have a regress of objects, as well as a regress of properties? |
6125 | We can eliminate objects without a commitment to simples [Merricks] |
Full Idea: Eliminativism about physical objects does not require a commitment to (or against) simples. | |
From: Trenton Merricks (Objects and Persons [2003], §1.I) | |
A reaction: His strategy is to eliminate objects in favour of whatever it is (an unknown) to which objects actually reduce. His point seems to be clearly correct, just as I might eliminate 'life' from my ontology, without quite knowing what it is. |
14229 | Merricks agrees that there are no composite objects, but offers a different semantics [Merricks, by Liggins] |
Full Idea: Merricks agrees with van Inwagen that there are no composite objects, but disagrees with him about the semantics of talk about material objects. | |
From: report of Trenton Merricks (Objects and Persons [2003]) by David Liggins - Nihilism without Self-Contradiction 4 | |
A reaction: Van Inwagen has one semantics for folk talk, and another semantics 'for the philosophy room'. Merricks seems to have an error theory of folk semantics (i.e. the folk don't understand what they are saying). |
6142 | The 'folk' way of carving up the world is not intrinsically better than quite arbitrary ways [Merricks] |
Full Idea: It is hard to see why the folk way of carving up the material world should - barring further argument - be elevated to a loftier status than the unrestricted compositionist way. | |
From: Trenton Merricks (Objects and Persons [2003], §3.III) | |
A reaction: There are some right ways to carve up the world, though there is also the capacity to be quite arbitrary, if it is useful, or even amusing. Thus Cyprus is an island (fact), Britons are a nation (useful), and Arsenal fans are sad (amusing). |
14472 | If atoms 'arranged baseballwise' break a window, that analytically entails that a baseball did it [Merricks, by Thomasson] |
Full Idea: Given the proper understanding of 'arranged baseballwise', the fact that atoms arranged baseballwise are causally relevant to a shattering analytically entails that a baseball is. | |
From: report of Trenton Merricks (Objects and Persons [2003], 3) by Amie L. Thomasson - Ordinary Objects 01.3 | |
A reaction: This is the key argument of Thomasson's book. Presumably, following Idea 14471, 'I bought some atoms arranged baseballwise' is held to entail 'I bought a baseball'. That seems to beg the question against Van Inwagen and Merricks. |
14469 | Overdetermination: the atoms do all the causing, so the baseball causes no breakage [Merricks] |
Full Idea: The Overdetermination Argument: a baseball is irrelevant to whether its atoms shatter a window, the shattering is caused by the atoms in concert, the shattering is not overdetermined, so if the baseball exists it doesn't cause the shattering. | |
From: Trenton Merricks (Objects and Persons [2003], 3) | |
A reaction: An obvious thought is that no individual atom does any sort of breaking at all - it is only when they act as a team, and an appropriate name for the team is a 'baseball', and the team is real. |
6137 | Clay does not 'constitute' a statue, as they have different persistence conditions (flaking, squashing) [Merricks] |
Full Idea: A statue is not identical with its constituent lump of clay because they have different persistence conditions; the statue, but not the lump, could survive the loss of a few smallish bits, and the lump, but not the statue, could survive being squashed. | |
From: Trenton Merricks (Objects and Persons [2003], §2.III) | |
A reaction: I don't see why a lump can't survive losing a few bits (if the lump never had a precise identity), but it is hard to argue that squashing is a problem. However, presumably the identity (or constitution) between lump and statue is not a necessity. |
6127 | 'Unrestricted composition' says any two things can make up a third thing [Merricks] |
Full Idea: If my dog and the top half of my tree compose an object, this is defended under the title of 'unrestricted (universal) composition', the thesis that any two things compose something. | |
From: Trenton Merricks (Objects and Persons [2003], §1.II) | |
A reaction: David Lewis is cited amongst those defending this thesis. My intuition is against this thesis, because I think identity is partly dictated by nature, and is not entirely conventional. You can force an identity, but you feel the 'restriction'. |
6131 | Composition as identity is false, as identity is never between a single thing and many things [Merricks] |
Full Idea: One of the most obvious facts about identity is that it holds one-one (John and Mr Smith) and perhaps many-many (John+Mary and Mr Smith+Miss Jones), but never one-many. It follows that composition as identity (things are their parts) is false. | |
From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
A reaction: This assumes that 'having identity' and 'being identical to' are the same concept. I agree with his conclusion, but am not convinced by the argument. I'm not even quite clear why John and May can't be identical to the Smiths. |
6132 | Composition as identity is false, as it implies that things never change their parts [Merricks] |
Full Idea: Composition as identity implies that no persisting object ever changes its parts, which is clearly false, so composition as identity is false. | |
From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
A reaction: Presumably Lewis can say that when a thing subtly changes its parts, it really does lose its strict identity, but becomes another 'time-slice' or close 'counterpart' of the original object. This is a coherent view, but I disagree. I'm a believer. |
6141 | There is no visible difference between statues, and atoms arranged statuewise [Merricks] |
Full Idea: If we imagine a world like ours except that, while there are atoms arranged statuewise in that world, there are no statues, ...no amount of looking around could distinguish that imagined world from ours. | |
From: Trenton Merricks (Objects and Persons [2003], §2.V) | |
A reaction: This is one of his arguments for ontological eliminativism about physical objects. If we accept the argument, it will wreak havoc with our entire ontology, and we will end up anti-realists. I say you have to see statues - you just can't miss them. |
6130 | 'Composition' says things are their parts; 'constitution' says a whole substance is an object [Merricks] |
Full Idea: Composition as identity claims that a single object is identical with the many parts it comprises; constitution as identity says that a single object (a statue) is identical with a single object (clay) that 'constitutes' it. | |
From: Trenton Merricks (Objects and Persons [2003], §1 n11) | |
A reaction: The constitution view has been utilised (by Lynn Rudder Baker) to give an account of personal identity as constituted by a human body. Neither sounds quite right to me; the former view misses something about reality; the latter doesn't explain much. |
6138 | It seems wrong that constitution entails that two objects are wholly co-located [Merricks] |
Full Idea: Many philosophers deny that two numerically distinct physical objects could be 'wholly co-located'. | |
From: Trenton Merricks (Objects and Persons [2003], §2.III) | |
A reaction: A fish can be located in a river; the Appenines can be located in Italy. If you accept the objection you will probably have to accept identity-as-composition, or object-eliminativism. One object can have two causal roles, supporting two identities. |
6128 | Objects decompose (it seems) into non-overlapping parts that fill its whole region [Merricks] |
Full Idea: Intuitively, an object's parts at one level of decomposition are parts of that object that do not overlap and that, collectively, fill the whole region the object fills. | |
From: Trenton Merricks (Objects and Persons [2003], §1.II) | |
A reaction: A nice case where 'intuition' must be cited as the basis for the claim, and yet it is hard to see how anyone could possibly disagree. Exhibit 73 in favour of rationalism. This ideas shows the structure of nature and the workings of our minds. |
6136 | Eliminativism about objects gives the best understanding of the Sorites paradox [Merricks] |
Full Idea: I say we should endorse eliminativism about physical objects, because it offers the most plausible understanding of what occurs during the Sorites Game (eliminating grains of a thing one at a time). | |
From: Trenton Merricks (Objects and Persons [2003], §2.II) | |
A reaction: That is one route to go in explaining the paradox (i.e. by saying there never was a 'heap' in the first place). I suspect a better route is to say that heaps really exist as natural phenomena, but they suffer from vague identity and borderline cases. |
10406 | One might hope to reduce possible worlds to properties [Swoyer] |
Full Idea: One might hope to reduce possible worlds to properties. | |
From: Chris Swoyer (Properties [2000], 4.1) | |
A reaction: [He cites Zalta 1983 4.2, and Forrest 1986] I think we are dealing with nothing more than imagined possibilities, which are inferred from our understanding of the underlying 'powers' of the actual world (expressed as 'properties'). |
6133 | If my counterpart is happy, that is irrelevant to whether I 'could' have been happy [Merricks] |
Full Idea: The existence of someone in another world who is a lot like me, but happier, is irrelevant to whether I - this very person - could have been happier, even if we call that other-worldly someone 'my counterpart'. | |
From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
A reaction: He says this is a familiar objection. I retain a lingering deterministic doubt about whether it ever makes to sense to say that I 'could' have been happy, given that I am not. It does seem to make sense to say that I was close to happiness, but missed it. |
10404 | Extreme empiricists can hardly explain anything [Swoyer] |
Full Idea: Extreme empiricists wind up unable to explain much of anything. | |
From: Chris Swoyer (Properties [2000], 2.3) | |
A reaction: This seems to be the major problem for empiricism, but I am not sure why inference to the best explanation should not be part of a sensible empirical approach. Thinking laws are just 'descriptions of regularities' illustrates the difficulty. |
6150 | The 'warrant' for a belief is what turns a true belief into knowledge [Merricks] |
Full Idea: The 'warrant' for a belief is that, whatever it is, that makes the difference between mere true belief and knowledge. | |
From: Trenton Merricks (Objects and Persons [2003], §7.II) | |
A reaction: Hence a false belief could be well justified, but it could never be warranted. This makes warrant something like the externalist view of justification, a good supporting situation for a belief, rather than an inner awareness of support for it. |
18260 | If we knew what we know, we would be astonished [Kant] |
Full Idea: If we only know what we know ...we would be astonished by the treasures contained in our knowledge. | |
From: Immanuel Kant (Wiener Logik [1795], p.843), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
A reaction: Nice remark. He doesn't require immediat recall of knowledge. You can't be required to know that you know something. That doesn't imply externalism, though. I believe in securely founded internal knowledge which is hard to recall. |
6144 | You hold a child in your arms, so it is not mental substance, or mental state, or software [Merricks] |
Full Idea: When you hold your child, you do exactly that - hold the child himself or herself - and not some stand-in. This implies that we are not two substances, and we are not mental states nor akin to software. | |
From: Trenton Merricks (Objects and Persons [2003], §4) | |
A reaction: And it is not just a brain, either. This is a nice simple example to support the sensible view that a person is a type of animal. Like all other physical objects that is a bit vague, so we should not be distracted by borderline cases like brain bisection. |
6140 | Maybe the word 'I' can only refer to persons [Merricks] |
Full Idea: One might say that the word 'I' can only have a person as its reference. | |
From: Trenton Merricks (Objects and Persons [2003], §2.IV) | |
A reaction: To infer the existence of persons from this would be to commit what I think of as the Linguistic Fallacy, of deducing ontology directly from language. We might allow (Dennett fashion) that folk categories require the fiction of persons. |
6149 | Free will and determinism are incompatible, since determinism destroys human choice [Merricks] |
Full Idea: The main recent support for incompatibilism is the 'no choice' argument: we have no choice that the past and the laws of nature entail human actions, we have no choice about what the past or the laws are like, so we have no choice about our actions. | |
From: Trenton Merricks (Objects and Persons [2003], §6.III) | |
A reaction: Since I consider free will to be an absurd chimera, I think this argument involves a total misunderstanding of what a 'choice' is. Since the human brain is a wonderfully sophisticated choosing machine, our whole life consists of choices. |
6148 | Human organisms can exercise downward causation [Merricks] |
Full Idea: Human organisms have non-redundant causal powers, and so can exercise downward causation. | |
From: Trenton Merricks (Objects and Persons [2003], §4.VII) | |
A reaction: The hallmark of property dualism. This notion needs a lot more expansion and exploration than Merricks gives it, and I don't think it will be enough to provide 'free will', or even, as Merricks hopes, to place humans in a distinct ontological category. |
6146 | Before Creation it is assumed that God still had many many mental properties [Merricks] |
Full Idea: The belief of theists that God might never have created implies that there is a possible world that contains just a single entity with many conscious mental properties. | |
From: Trenton Merricks (Objects and Persons [2003], §4.II) | |
A reaction: So if we believe content is wide, we must believe that God was incapable of thought before creation, and thus couldn't plan creation, and so didn't create, and so the Creator is a logical impossibility. Cool. |
6147 | The hypothesis of solipsism doesn't seem to be made incoherent by the nature of mental properties [Merricks] |
Full Idea: The hypothesis of solipsism, that I - an entity with many conscious mental properties - am all that exists, while surely false, is not rendered incoherent simply by the nature of the mental properties. | |
From: Trenton Merricks (Objects and Persons [2003], §4.II) | |
A reaction: This, along with the thought of a pre-Creation God, is a nice intuitive case for showing that we strongly believe in some degree of narrow content. |
10408 | Intensions are functions which map possible worlds to sets of things denoted by an expression [Swoyer] |
Full Idea: Intensions are functions that assign a set to the expression at each possible world, ..so the semantic value of 'red' is the function that maps each possible world to the set of things in that world that are red. | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: I am suddenly deeply alienated from this mathematical logicians' way of talking about what 'red' means! We need more psychology, not less. We call things red if we imagine them as looking red. Is imagination a taboo in analytical philosophy? |
10409 | Research suggests that concepts rely on typical examples [Swoyer] |
Full Idea: Recent empirical work on concepts says that many concepts have graded membership, and stress the importance of phenomena like typicality, prototypes, and exemplars. | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: [He cites Rorsch 1978 as the start of this] I say the mind is a database, exactly corresponding to tables, fields etc. Prototypes sound good as the way we identify a given category. Universals are the 'typical' examples labelling areas (e.g. goat). |
10401 | The F and G of logic cover a huge range of natural language combinations [Swoyer] |
Full Idea: All sorts of combinations of copulas ('is') with verbs, adverbs, adjectives, determiners, common nouns, noun phrases and prepositional phrases go over into the familiar Fs and Gs of standard logical notation. | |
From: Chris Swoyer (Properties [2000], 1.2) | |
A reaction: This is a nice warning of how misleading logic can be when trying to understand how we think about reality. Montague semantics is an attempt to tackle the problem. Numbers as adjectives are a clear symptom of the difficulties. |
10420 | Maybe a proposition is just a property with all its places filled [Swoyer] |
Full Idea: Some say we can think of a proposition as a limiting case of a property, as when the two-place property '___ loves ___' can become the zero-placed property, or proposition 'that Sam loves Darla'. | |
From: Chris Swoyer (Properties [2000], 7.6) | |
A reaction: If you had a prior commitment to the idea that reality largely consists of bundles of properties, I suppose you might find this tempting. |
10412 | If laws are mere regularities, they give no grounds for future prediction [Swoyer] |
Full Idea: If laws were mere regularities, then the fact that observed Fs have been Gs would give us no reason to conclude that those Fs we haven't encountered will also be Gs. | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: I take this simple point to be very powerful. No amount of regularity gives grounds for asserting future patterns - one only has Humean habits. Causal mechanisms are what we are after. |
10411 | Two properties can have one power, and one property can have two powers [Swoyer] |
Full Idea: If properties are identical when they confer the same capacities on their instances, different properties seem able to bestow the same powers (e.g. force), and one property can bestow different powers (attraction or repulsion). | |
From: Chris Swoyer (Properties [2000], 4.2) | |
A reaction: Interesting, but possibly a misunderstanding. Powers are basic, and properties are combinations of powers. A 'force' isn't a basic power, it is a consequence of various properties. Relational behaviours are also not basic powers, which are the source. |