Combining Texts

Ideas for 'teaching', 'Against Structural Universals' and 'Abstract Objects'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


18 ideas

9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Shapes and directions are of something, but games and musical compositions are not [Hale]
     Full Idea: While a shape or a direction is necessarily of something, games, musical compositions or dance routines are not of anything at all.
     From: Bob Hale (Abstract Objects [1987], Ch.3.II)
     A reaction: This seems important, because Frege's abstraction principle works nicely for abstractions 'of' some objects, but is not so clear for abstracta that are sui generis.
Many abstract objects, such as chess, seem non-spatial, but are not atemporal [Hale]
     Full Idea: There are many plausible example of abstract objects which, though non-spatial, do not appear to satisfy the suggested requirement of atemporality, such as chess, or the English language.
     From: Bob Hale (Abstract Objects [1987], Ch.3.1)
     A reaction: Given the point that modern physics is committed to 'space-time', with no conceivable separation of them, this looks dubious. Though I think the physics could be challenged. Try Idea 7621, for example.
If the mental is non-spatial but temporal, then it must be classified as abstract [Hale]
     Full Idea: If mental events are genuinely non-spatial, but not atemporal, its effect is to classify them as abstract; the distinction between the abstract and the mental simply collapses.
     From: Bob Hale (Abstract Objects [1987], Ch.3.1)
     A reaction: This is important. You can't discuss this sort of metaphysics in isolation from debates about the ontology of mind. Functionalists do treat mental events as abstractions.
Being abstract is based on a relation between things which are spatially separated [Hale]
     Full Idea: The abstract/concrete distinction is, roughly, between those sortals whose grounding relations can hold between abstract things which are spatially but not temporally separated, those concrete things whose grounding relations cannot so hold.
     From: Bob Hale (Abstract Objects [1987], Ch.3.III)
     A reaction: Thus being a father is based on 'begat', which does not involve spatial separation, and so is concrete. The relation is one of equivalence.
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
The modern Fregean use of the term 'object' is much broader than the ordinary usage [Hale]
     Full Idea: The notion of an 'object' first introduced by Frege is much broader than that of most comparable ordinary uses of 'object', and is now fairly standard and familiar.
     From: Bob Hale (Abstract Objects [1987], Ch.1)
     A reaction: This makes it very difficult to get to grips with the metaphysical issues involved, since the ontological claims disappear into a mist of semantic vagueness.
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
We can't believe in a 'whereabouts' because we ask 'what kind of object is it?' [Hale]
     Full Idea: Onotological outrage at such objects as the 'whereabouts of the Prime Minister' derives from the fact that we seem beggared for any convincing answer to the question 'What kind of objects are they?'
     From: Bob Hale (Abstract Objects [1987], Ch.2.II)
     A reaction: I go further and ask of any object 'what is it made of?' When I receive the answer that I am being silly, and that abstract objects are not 'made' of anything, I am tempted to become sarcastic, and say 'thank you - that makes it much clearer'.
9. Objects / C. Structure of Objects / 1. Structure of an Object
The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis]
     Full Idea: The 'magical' conception of structural universals says 'simple' must be distinguished from 'atomic'. A structural universal is never simple; it involves other, simpler, universals, but it is mereologically atomic. The other universals are not its parts.
     From: David Lewis (Against Structural Universals [1986], 'The magical')
     A reaction: Hence the 'magic' is for it to be an indissoluble unity, while acknowledging that it has parts. Personally I don't see much problem with this view, since universals already perform the magical feat of being 'instantiated', whatever that means.
If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis]
     Full Idea: What is it about the universal carbon that gets it involved in necessary connections with methane? Why not rubidium instead? The universal 'carbon' has nothing more in common with the universal methane than the universal rubidium has!
     From: David Lewis (Against Structural Universals [1986], 'The magical')
     A reaction: This is his objection to the 'magical' unity of structural universals. The point is that if methane is an atomic unity, as claimed, it can't have anything 'in common' with its components.
The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis]
     Full Idea: On the 'pictorial' conception, a structural universal is isomorphic to its instances. ...It is an individual, a mereological composite, not a set. ...It is composed of simpler universals which are literally parts of it.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: I'm not clear why Lewis labels this the 'pictorial' view. His other two views of structural universals are 'linguistic' and 'magical'. The linguistic is obviously wrong, and the magical doesn't sound promising. Must I vote for pictorial?
The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis]
     Full Idea: What is wrong with the pictorial conception is that if the structural universal 'methane' is to be an isomorph of the molecules that are its instances, it must have the universal 'hydrogen' as a part not just once, but four times over.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: The point is that if hydrogen is a universal it must be unique, so there can't be four of them. To me this smacks of the hopeless mess theologians get into, because of bad premisses. Drop universals, and avoid this kind of stuff.
Butane and Isobutane have the same atoms, but different structures [Lewis]
     Full Idea: The stuctural universal 'isobutane' consists of the universal carbon four times over, hydrogen ten times over, and the universal 'bonded' thirteen times over - just like the universal 'butane'.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: The point is that isobutane and butane have the same components in different structures. At least this is Lewis facing up to the problem of the 'flatness' of mereological wholes.
Structural universals have a necessary connection to the universals forming its parts [Lewis]
     Full Idea: There is a necessary connection between the instantiating of a structural universal by the whole and the instantiating of other universals by its parts. We can call the relation 'involvement', a nondescript word.
     From: David Lewis (Against Structural Universals [1986], 'What are')
     A reaction: In the case of a shape, I suppose the composing 'universals' [dunno what they are] will all be essential to the shape - that is, part of the very nature of the thing, loss of which would destroy the identity.
We can't get rid of structural universals if there are no simple universals [Lewis]
     Full Idea: We can't dispense with structural universals if we cannot be sure that there are any simples which can be involved in them.
     From: David Lewis (Against Structural Universals [1986], 'Why believe')
     A reaction: Lewis cites this as Armstrong's strongest reason for accepting structural universals (and he takes their requirement for an account of laws of nature as the weakest). I can't comprehend a world that lacks underlying simplicity.
9. Objects / C. Structure of Objects / 5. Composition of an Object
Composition is not just making new things from old; there are too many counterexamples [Lewis]
     Full Idea: Not just any operation that makes new things from old is a form of composition! There is no sense in which my parents are part of me, and no sense in which two numbers are parts of their greatest common factor.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: One of those rare moments when David Lewis seems to have approached a really sensible metaphysics. Further on he rejects all forms of composition apart from mereology.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
A whole is distinct from its parts, but is not a further addition in ontology [Lewis]
     Full Idea: A whole is an extra item in our ontology only in the minimal sense that it is not identical to any of its proper parts; but it is not distinct from them either, so when we believe in the parts it is no extra burden to believe in the whole.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: A little confusing, to be 'not identical' and yet 'not different'. As Lewis says elsewhere, the whole is one, and the parts are not. A crux. Essentialism implies a sort of holism, that parts with a structure constitute a new thing.
Different things (a toy house and toy car) can be made of the same parts at different times [Lewis]
     Full Idea: Different things can be made of the same parts at different times, as when the tinkertoy house is taken apart and put back together as a tinkertoy car.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: More important than it looks! This is Lewis's evasion of the question of the structure of the parts. Times will individuate different structures, but if I take type-identical parts and make a house and a car simultaneously, are they type-identical?
9. Objects / F. Identity among Objects / 1. Concept of Identity
The relations featured in criteria of identity are always equivalence relations [Hale]
     Full Idea: The relations which are featured in criteria of identity are always equivalence relations.
     From: Bob Hale (Abstract Objects [1987], Ch.3.III)
     A reaction: This will only apply to strict identity. If I say 'a is almost identical to b', this will obviously not be endlessly transitive (as when we get to k we may have lost the near-identity to a). Are 'two threes' identical to 'three twos'?
9. Objects / F. Identity among Objects / 3. Relative Identity
We sometimes apply identity without having a real criterion [Hale]
     Full Idea: Not every (apparent) judgement of identity involves application of anything properly describable as a criterion of identity, ...such as being able to pronounce that mercy is the quality of being merciful.
     From: Bob Hale (Abstract Objects [1987], Ch.2.II)
     A reaction: This suggests some distinction between internal criteria (e.g. grammatical, conceptual) and external criteria (existent, sensed).