Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Essential Attribution' and 'Varieties of Causation'

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


14 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'.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
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)
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.
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 / 12. Essential Parts
Mereological essentialism says an entity must have exactly those parts [Sosa]
     Full Idea: Mereological essentialism says that nothing else could have been the unique entity composed of certain parts except the very thing that is composed of those parts.
     From: Ernest Sosa (Varieties of Causation [1980], 2)
     A reaction: This sounds initially implausible. It means the ship of Theseus ceases to be that ship if you change a single nail of it. Whether we say that seems optional, but if we do, it leads to the collaps of all our normal understanding of identity.
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 / C. Causation / 9. General Causation / b. Nomological causation
What law would explain causation in the case of causing a table to come into existence? [Sosa]
     Full Idea: If I fasten a board onto a tree stump, causing a table to come into existence, ...what law of nature or, even, what quasi-law or law-like principle could possibly play in such a case of generation the role required by nomological accounts?
     From: Ernest Sosa (Varieties of Causation [1980], 1)
     A reaction: A very nice question. The nomological account is at its strongest when rocks fall off walls or magnets attract, but all sorts of other caused events seem too messy or complex or original to fit the story.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
The necessitated is not always a result or consequence of the necessitator [Sosa]
     Full Idea: The necessitated is not always a result or consequence of the necessitator. If p-and-q is a fact, then this necessitates that p, but the fact that p need not be a result or consequence of the fact that p-and-q.
     From: Ernest Sosa (Varieties of Causation [1980], p.242)
     A reaction: This is obviously correct, and needs to be borne in mind when considering necessary causation. It is not enough to produce a piece of logic; something in the link from cause to effect must be demonstrated to be necessary.
Where is the necessary causation in the three people being tall making everybody tall? [Sosa]
     Full Idea: It is not clear how to analyse the form of necessary causation found in the only three people in the room being tall causing everybody in the room to be tall.
     From: Ernest Sosa (Varieties of Causation [1980], 5)
     A reaction: I would want to challenge this as a case of causation. There are no events or processes involved. It seems that a situation described in one way can also be described in another.
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.