Combining Texts

Ideas for 'Parmenides', 'Reference and Generality (3rd ed)' and 'Grundgesetze der Arithmetik 2 (Basic Laws)'

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

display all the ideas for this combination of texts


11 ideas

9. Objects / A. Existence of Objects / 6. Nihilism about Objects
We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne]
     Full Idea: Geach argued that the notion of absolute identity should be abandoned. ..We can only grasp the meaning of a count noun when we associate it with a criterion of identity, expressed by a particular relative identity sortal.
     From: report of Peter Geach (Reference and Generality (3rd ed) [1980]) by John Hawthorne - Identity
     A reaction: In other words, identity needs categorisation. Hawthorne concludes that Geach is wrong. Geach clearly has much common usage on his side. 'What's that?' usually invites a categorisation. Sameness of objects seems to need a 'respect'.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Parts must belong to a created thing with a distinct form [Plato]
     Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all.
     From: Plato (Parmenides [c.364 BCE], 157d)
     A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
The first demand of logic is of a sharp boundary [Frege]
     Full Idea: The first demand of logic is of a sharp boundary.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §160), quoted by Michael Dummett - Frege philosophy of mathematics Ch.22
     A reaction: Nothing I have read about vagueness has made me doubt Frege's view of this, although precisification might allow you to do logic with vague concepts without having to finally settle where the actual boundaries are.
9. Objects / C. Structure of Objects / 5. Composition of an Object
In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V]
     Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts
     From: report of Plato (Parmenides [c.364 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5
     A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Plato says only a one has parts, and a many does not [Plato, by Harte,V]
     Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one.
     From: report of Plato (Parmenides [c.364 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2
     A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships.
Anything which has parts must be one thing, and parts are of a one, not of a many [Plato]
     Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole.
     From: Plato (Parmenides [c.364 BCE], 157c)
     A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
It seems that the One must be composed of parts, which contradicts its being one [Plato]
     Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts.
     From: Plato (Parmenides [c.364 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts.
9. Objects / F. Identity among Objects / 3. Relative Identity
Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach]
     Full Idea: Geach's denial of absolute identity has drastic implications for logic, semantics and set theory. He must deny the axiom of extensionality in set theory, for example.
     From: comment on Peter Geach (Reference and Generality (3rd ed) [1980]) by Ryan Wasserman - Material Constitution 6
     A reaction: I'm beginning to think we have two entirely different concepts here - the logicians' and mathematicians' notion of when two things are identical, and the ordinary language concept of two things being 'the same'. 'We like the same music'.
Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach]
     Full Idea: Identity is relative. When one says 'x is identical with y' this is an incomplete expression. It is short for 'x is the same A as y', where 'A' represents some count noun understood from the context of utterance.
     From: Peter Geach (Reference and Generality (3rd ed) [1980], p.39), quoted by John Perry - The Same F I
     A reaction: Perry notes that Geach's view is in conscious opposition to Frege, who had a pure notion of identity. We say 'they are the same insofar as they are animals', but not 'they are the same animal'. Perfect identity involves all possible A's.
9. Objects / F. Identity among Objects / 6. Identity between Objects
Two things relate either as same or different, or part of a whole, or the whole of the part [Plato]
     Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part.
     From: Plato (Parmenides [c.364 BCE], 146b)
     A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically.
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman]
     Full Idea: Geach rejects the standard formulation of Leibniz's Law as incomplete, since it includes a non-relativized identity predicate.
     From: report of Peter Geach (Reference and Generality (3rd ed) [1980]) by Ryan Wasserman - Material Constitution 6
     A reaction: Not many people accept Geach's premiss that identity is a relative matter. I agree with Wiggins on this, that identity is an absolute (and possibly indefinable). The problem with the Law is what you mean by a 'property'.