Combining Texts

All the ideas for 'The Evolution of Modern Metaphysics', 'Nominalism and Substitutional Quantifiers' and 'Essence and Accident'

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


21 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is the most general attempt to make sense of things [Moore,AW]
     Full Idea: Metaphysics is the most general attempt to make sense of things.
     From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro)
     A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too.
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.
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 / C. Powers and Dispositions / 6. Dispositions / b. Dispositions and powers
The real essence of a thing is its powers, or 'dispositional properties' [Copi]
     Full Idea: With respect to scientific usage, we can say that the real essence of a thing will consist very largely of powers or, in modern terms, dispositional properties.
     From: Irving M. Copi (Essence and Accident [1954], p.718)
     A reaction: Once again, Copi is a hero. I personally love the word 'powers' in metaphysics (and dislike the word 'properties', which is lost in a fog of confusion). See Molnar on 'powers' and Mumford on 'dispositions'.
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 / D. Essence of Objects / 8. Essence as Explanatory
Essential properties are the 'deepest' ones which explain the others [Copi, by Rami]
     Full Idea: The 'explanatory characterization' says that the essential properties of an object are the object's deepest explanatory properties, which explain the other properties of the object - and which Copi claims is mind-independent.
     From: report of Irving M. Copi (Essence and Accident [1954]) by Adolph Rami - Essential vs Accidental Properties §2
     A reaction: It is, of course, normal to see a good explanation as being dependent on the interests of the audience. Perhaps this account should be in terms of causal powers. See Shoemaker on properties.
9. Objects / D. Essence of Objects / 13. Nominal Essence
In modern science, nominal essence is intended to be real essence [Copi]
     Full Idea: In the sphere of scientific enquiry the distinction between real and nominal essence tends to disappear; the scientist's classification of things is intended to be in terms of their real essences.
     From: Irving M. Copi (Essence and Accident [1954], p.716)
     A reaction: Thus we have disputes over what is the 'real' classification of natural kinds such as animals. There is not much point in a classification system that does not at least reflect some aspects of reality.
9. Objects / E. Objects over Time / 11. End of an Object
Within the four types of change, essential attributes are those whose loss means destruction [Copi]
     Full Idea: If we can distinguish the different kinds of change (alteration, locomotion, growth, diminution), then we can say that a given attribute is essential to an object if its loss would result in the destruction of that object.
     From: Irving M. Copi (Essence and Accident [1954], p.707-8)
     A reaction: As Copi is aware, this is a necessary condition for a property for essence, but not sufficient. If an attribute were necessary but non-essential, its loss would also be destruction. We say the essential attributes must also have some explanatory role.
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)
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW]
     Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality.
     From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507)
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Modern science seeks essences, and is getting closer to them [Copi]
     Full Idea: Modern science seeks to know the real essences of things, and its increasing successes seem to be bringing it progressively nearer to that goal.
     From: Irving M. Copi (Essence and Accident [1954], p.715)
     A reaction: This is from a notable pioneering paper, which outlined scientific essentialism even before Marcus and Kripke began to offer a modern account of essence to give it backing. Compare Popper, who thinks essences are will-o-the-wisps.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Real essences are scientifically knowable, but so are non-essential properties [Copi]
     Full Idea: Contrary to Locke, I should hold that real essences are in principle knowable, and contrary to Aristotle, I should hold that non-essential or accidental properties can also be objects of scientific knowledge.
     From: Irving M. Copi (Essence and Accident [1954], p.717)
     A reaction: Copi has just become my hero. Aristotle's account of definition is on the brink of allowing fine-tuned essences, but he thinks universal understanding blocks knowledge of individuals. But cross-referencing of universals pinpoints individuals.