Combining Philosophers

All the ideas for Herodotus, Ruth Barcan Marcus and Danielle Macbeth

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


27 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Does the pragmatic theory of meaning support objective truth, or make it impossible? [Macbeth]
     Full Idea: Peirce and Sellars takes Peirce's conception of meaning, on which pragmatism is founded, to support an adequate account of objective truth; James, Dewey and Rorty say it forecloses all possibility of such an account.
     From: Danielle Macbeth (Pragmatism and Objective Truth [2007], p.169)
     A reaction: Ah. Very helpful. I thought there was a pragmatic theory of truth, then began to think that it was just a denial of truth. I've long suspected that Peirce is wonderful, and James is not very good (on this topic).
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
     Full Idea: The nominalist finds that standard semantics shackles him to first-order languages if, as nominalists are wont, he is to make do without abstract higher order objects.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Aha! Since I am pursuing a generally nominalist strategy in metaphysics, I suddenly see that I must adopt a hostile attitude to higher-order logic! Maybe plural quantification is the way to go, with just first-order objects.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
     Full Idea: The tendency has been to call any expression a 'name', however distant from the grammatical category of nouns, provided it is seen as referring.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
     Full Idea: For a nominalist with an ontology of empirically distinguishable objects, proper names are seen as a primary vehicle of reference.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
5. Theory of Logic / G. Quantification / 1. Quantification
Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
     Full Idea: For the nominalist, at level zero, where substituends are referring names, the quantifiers may be read existentially. Beyond level zero, the variables and quantifiers are read sustitutionally (though it is unclear whether this program is feasible).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
     Full Idea: An adequate language for referring to infinitely many objects would seem to require variables and quantifiers in addition to names.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.164)
Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
     Full Idea: On a substitutional semantics of a first-order language, a domain of objects is not specified. Variables do not range over objects. They are place markers for substituends (..and sentences are true-for-all-names, or true-for-at-least-one-name).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.165)
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
     Full Idea: It has been suggested that a substitutional semantics for quantification theory lends itself to nominalistic aims.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.161)
Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
     Full Idea: Translation into a substitutional language does not force the ontology. It remains, literally, and until the case for reference can be made, a façon de parler. That is the way the nominalist would like to keep it.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
     Full Idea: Critics say if there are nondenumerably many objects, then on the substitutional view there might be true universal sentences falsified by an unnamed object, and there must always be some such, for names are denumerable.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
     A reaction: [See Quine 'Reply to Prof. Marcus' p.183] The problem seems to be that there would be names which are theoretically denumerable, but not nameable, and hence not available for substitution. Marcus rejects this, citing compactness.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Greek mathematics is wholly sensory, where ours is wholly inferential [Macbeth]
     Full Idea: Ancient mathematical concepts were essentially sensory; they were not mathematical in our sense - that is, wholly constituted by their inferential potential.
     From: Danielle Macbeth (Pragmatism and Objective Truth [2007], p.187)
     A reaction: The latter view is Frege's, though I suppose it had been emerging for a couple of centuries before him. I like the Greek approach, and would love to see that reunited with the supposedly quite different modern view. (Keith Hossack is attempting it).
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Is being just referent of the verb 'to be'? [Marcus (Barcan)]
     Full Idea: Being itself has been viewed as referent of the verb 'to be'.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
     Full Idea: Nominalists have the major task of explaining how predicates work. They usually construct it as a relation between individuals, or deny the referential function of predicates.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.163)
9. Objects / A. Existence of Objects / 3. Objects in Thought
If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
     Full Idea: If objects are thoughts, aren't we back to psychologism?
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Personally I don't think that would be the end of the world, but Fregeans go into paroxyms at the mention of 'psychology', because they fear that it destroys objectivity. That may be because they haven't understood thought properly.
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)
9. Objects / F. Identity among Objects / 2. Defining Identity
Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
     Full Idea: Substitutivity 'salve veritate' cannot define identity since two expressions may be everywhere intersubstitutable and not refer at all.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
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)
14. Science / B. Scientific Theories / 1. Scientific Theory
Seeing reality mathematically makes it an object of thought, not of experience [Macbeth]
     Full Idea: As mathematically understood, the world is not an object of experience but instead an object of thought.
     From: Danielle Macbeth (Pragmatism and Objective Truth [2007], p.183)
     A reaction: Since I am keen on citing biology to show that science does not have to be mathematical, this nicely shows that there is something wrong with a science which places a large gap between itself and the world.
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
For pragmatists a concept means its consequences [Macbeth]
     Full Idea: In the pragmatist view, the meaning of a concept is exhausted by its consequences.
     From: Danielle Macbeth (Pragmatism and Objective Truth [2007], p.173)
     A reaction: I'm unclear why the concept of a volcanic eruption only concerns its dire consequences, and is supposed to contain nothing of its causes. Pragmatists seem to be all future, and no past. Very American.
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.
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]
     Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born.
     From: Herodotus (The Histories [c.435 BCE], 2.123.2)