Combining Texts

All the ideas for 'Locke on Human Understanding', 'Letter on Freedom' and 'Nominalism and Substitutional Quantifiers'

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


21 ideas

2. Reason / B. Laws of Thought / 2. Sufficient Reason
For every event it is possible for an omniscient being to give a reason for its occurrence [Leibniz]
     Full Idea: Nothing ever takes place without its being possible for one who knew everything to give some reason why it should have happened rather than not.
     From: Gottfried Leibniz (Letter on Freedom [1689], p.112)
     A reaction: Presumably there will be GOOD reason why genocide occurs. Note that there is a reason for every 'event'. Is there a reason for every truth? Presumably not, or there would have to be reasons for self-evident truths.
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 / E. Nominalism / 2. Resemblance Nominalism
Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe]
     Full Idea: A problem for resemblance nominalism is that in saying that two particulars 'resemble' one another, it is necessary to specify in what respect they do so (e.g. colour, shape, size), and this threatens to reintroduce what appears to be talk of universals.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7)
     A reaction: We see resemblance between faces instantly, long before we can specify the 'respects' of the resemblance. This supports the Humean hard-wired view of resemblance, rather than some appeal to Platonic universals.
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 / B. Unity of Objects / 2. Substance / d. Substance defined
On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe]
     Full Idea: Later philosophers emphasised different strands of Aristotle's concept of substances: Leibniz (in his theory of monads) emphasised their unity; Spinoza emphasised their ontological independence; Locke emphasised their role in relation to qualities.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.4)
     A reaction: Note that this Aristotelian idea had not been jettisoned in the late seventeenth century, unlike other Aristotelianisms. I think it is only with the success of atomism in chemistry that the idea of substance is forced to recede.
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)
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Perception is a mode of belief-acquisition, and does not involve sensation [Lowe]
     Full Idea: According to one school of thought, perception is simply a mode of belief-acquisition,and there is no reason to suppose that any element of sensation is literally involved in perception.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3)
     A reaction: Blindsight would be an obvious supporting case for this view. I think this point is crucial in understanding what is wrong with Jackson's 'knowledge argument' (involving Mary, see Idea 7377). Sensation gives knowledge, so it can't be knowledge.
12. Knowledge Sources / B. Perception / 7. Causal Perception
Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe]
     Full Idea: Only a causal theory of perception will respect the facts of physiology and physics ...meaning a theory which maintains that for a subject to perceive a physical object the subject should enjoy some appropriate perceptual experience caused by the object.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3)
     A reaction: If I hallucinate an object, then presumably I am not allowed to say that I 'perceive' it, but that seems to make the causal theory an idle tautology. If we are in virtual reality then there aren't any objects.
16. Persons / D. Continuity of the Self / 1. Identity and the Self
Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe]
     Full Idea: There is the question of the identity of a person over or across time ('diachronic' personal identity), and there is also the question of what makes for personal identity at a time ('synchronic' personal identity).
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.5)
     A reaction: This seems to me to be the first and most important distinction in the philosophy of personal identity, and they regularly get run together. Locke, for example, has an account of synchronic identity, which is often ignored. It applies to objects too.
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe]
     Full Idea: 'Mentalese' would be neither conventional nor a means of public communication so that even to call it a language is seriously misleading.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7)
     A reaction: It is, however, supposed to contain symbolic representations which are then used as tokens for computation, so it seems close to a language, if (for example) symbolic logic or mathematics were accepted as languages. But who understands it?
19. Language / A. Nature of Meaning / 2. Meaning as Mental
If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe]
     Full Idea: If meaning is a private mental picture, what does 'the cat is NOT on the mat' mean, and how does it differ from 'the dog is not on the mat?'.
     From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7)
     A reaction: Not insurmountable. We picture an empty mat, combined with a cat (or whatever) located somewhere else. A mental 'picture' of something shouldn't be contrued as a single image in a neat black frame.