Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Essential Attribution' and 'There are no ordinary things'

unexpand these ideas     |    start again     |     specify just one area for these texts


12 ideas

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]
     Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal.
     From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'.
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith]
     Full Idea: In a slogan, Unger's thesis is that all vague predicates lack application ('nihilism', says Williamson). Classical logic can be retained in its entirety. There are no borderline cases: for vague F, everything is not F; nothing is either F or borderline F.
     From: report of Peter Unger (There are no ordinary things [1979]) by R Keefe / P Smith - Intro: Theories of Vagueness §1
     A reaction: Vague F could be translated as 'I'm quite tempted to apply F', in which case Unger is right. This would go with Russell's view. Logic and reason need precise concepts. The only strategy with vagueness is to reason hypothetically.
9. Objects / A. Existence of Objects / 5. Simples
There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman]
     Full Idea: Eliminativism is often associated with Unger, who defends 'mereological nihilism', that there are no composite objects (objects with proper parts); there are only mereological simples (with no proper parts). The nihilist denies statues and ships.
     From: report of Peter Unger (There are no ordinary things [1979]) by Ryan Wasserman - Material Constitution 4
     A reaction: The puzzle here is that he has a very clear notion of identity for the simples, but somehow bars combinations from having identity. So identity is simplicity? 'Complex identity' doesn't sound like an oxymoron. We're stuck if there are no simples.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)]
     Full Idea: Aristotelian essentialism may best be understood on a 'natural' or 'causal' interpretation of the modal operators.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.189)
     A reaction: I record this because I very much like the sound of it, though I have yet to fully understand it.
Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)]
     Full Idea: An object must have some of its natural properties in this world. Some of those it has in common with objects of some proximate kind (Aristotelian essentialism), and others individuate it from objects of the same kind (individuating essentialism).
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.193)
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)]
     Full Idea: In the range of modal systems for which Saul Kripke has provided a semantics, no essentialist sentence is a theorem. Furthermore, there are models for which such sentences are demonstrably false.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.188)
'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)]
     Full Idea: We would never use 'is essentially' for 'is necessarily' where vacuous properties are concerned, as in 'Socrates is essentially snub-nosed' or 'Socrates is essentially Socrates'.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.193)
     A reaction: This simple point does us a huge service in rescuing the word 'essential' from several hundred years of misguided philosophy.
'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)]
     Full Idea: There seems to be surface synonymy between 'is essentially' and de re occurrences of 'is necessarily', but intersubstitution often fails to preserve sense (as in 'Winston is essentially a cyclist' and 'Winston is necessarily a cyclist').
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.193)
     A reaction: Clearly the two sentences have different meanings, with 'essentially' being a comment about the nature of Winston, and 'necessarily' probably being a comment about the circumstances in which he finds himself. Very nice. See also Idea 11186.
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)]
     Full Idea: Some philosophers make a metaphysical shift, by inventing objects (individual concepts, forms, substances) called 'essences', which have only essential properties, and then worry when they can't locate them by rummaging around in possible worlds.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.192)
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)]
     Full Idea: The usefulness of talk about possible worlds is not for purposes of individuating the object - that can be done in this world; such talk is a way of sorting its properties.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.192)
     A reaction: 'Possible worlds are a device for sorting properties' sounds to me like a promising slogan. Ruth Marcus originated rigid designation, before Kripke came up with the label.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)]
     Full Idea: The strategem of talk about possible worlds is that truth assignments of sentences and extensions of predicates may vary, but individual names don't alter their reference (unless they don't refer). They are a neutral peg for descriptions.
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.194)
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)]
     Full Idea: Being gold or being a man is not accidental. ..Such essences are dispositional properties of a very special kind: if an object had such a property and ceased to have it, it would have ceased to exist or have changed (as if gold is transmuted to lead).
     From: Ruth Barcan Marcus (Essential Attribution [1971], p.202)
     A reaction: Ruth Marcus is an important founder of modern scientific essentialism, by not only proposing the notion we call rigid designation, but by explicitly defending the essential identities that seem to emerge from modal logic.