Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'The Mengzi (Mencius)' and 'Nominalism and Substitutional Quantifiers'

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


24 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
     Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with.
     From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1
     A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory.
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 / 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 / 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)
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
If the King likes music then there is hope for the state [Mengzi (Mencius)]
     Full Idea: If the King has a great fondness for music, then perhaps there is hope for the state of Ch'i.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.1)
     A reaction: This seems to be Shakespeare's attitude to music as well. The general idea must be that love of music requires a selfless state of mind, where the mind revels in the beauty of something outside of itself. Respect is the desirable result.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Human nature is naturally compassionate and good (as a 'sprout'), but people may not be good [Mengzi (Mencius), by Norden]
     Full Idea: Mengzi does not claim that humans are innately good; he claims that human nature is innately good. …He says that 'the heart of compassion' (manifested when anyone sees a child about to fall into a well) is the 'sprout of benevolence'.
     From: report of Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 6.II
     A reaction: There is a nice distinction here between the 'sprout' of human nature and the finished product. Seeds have the potential to produce tall healthy plants, but circumstances can warp them.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
Righteousness is extending the unthinkable, to reveal what must be done [Mengzi (Mencius)]
     Full Idea: People all have things they will not do. To extend this reaction to that which they will do is righteousness.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 7B31), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 6.IV
     A reaction: Very nice! Kekes points out the enormous importance of unthinkable deeds. Depravity is when the unthinkable gradually begins to look possible, which is probably a social phenomenon, a creeping cancer in a culture.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Each correct feeling relies on an underlying virtue [Mengzi (Mencius)]
     Full Idea: The heart of compassion is benevolence. The heart of disdain is righteousness. The heart of respect is propriety. The heart of approval and disapproval is wisdom.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 6A6), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 6.III
     A reaction: 'Disdain' seems to be the response to anyone who is disrespectful. Note that wisdom concerns judgements. Respect seems to be more of a social convention than an actual concern for others.
23. Ethics / C. Virtue Theory / 3. Virtues / e. Honour
Should a coward who ran fifty paces from a battle laugh at another who ran a hundred? [Mengzi (Mencius)]
     Full Idea: If two soldiers were fleeing from a battle, and one stopped after a hundred paces and the other stopped after a fifty paces, what would you think if the latter, as one who only ran fifty paces, were to laugh at the former who ran a hundred?
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.3)
     A reaction: A nice illustration, in my view, of the universality of truths about human virtue. In no culture would this laughter be appropriate. Nevertheless, there must be degrees of dishonour. Better to flee than join in with the likely winners.
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
A true king shares his pleasure with the people [Mengzi (Mencius)]
     Full Idea: If you shared your enjoyment of music or of hunting with the people, you would be a true King.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.1)
     A reaction: I suspect that this is a great truth for dictators and traditional monarchs. One pictures the successful ones attending public entertainments, and allowing the public to see their own. Tyrants keep entertainment private. Nero is a counterexample!
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Extend the treatment of the old and young in your family to the rest of society [Mengzi (Mencius)]
     Full Idea: Treat the aged of your own family in a manner befitting their venerable age and extend this treatment to the aged of other families. Treat your own young in a manner befitting their tender age, and extend this to the young of other families.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7)
     A reaction: This seems to me to articulate the ideal of communitarianism very nicely. Morality is not just about healthy adults in war and peace. It must include the children and the old. The values of the family are above the values of contracts and calculations.
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Only put someone to death if the whole population believes it is deserved [Mengzi (Mencius)]
     Full Idea: When close attendants say a man deserves death, do not listen; when all the councillors say so, do not listen; when everyone says so, have the case investigated. If he is guilty, put him to death; he was put to death by the whole country.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.7)
     A reaction: The jury system is a gesture in this direction. Compare Idea 95. In Mencius's time, no doubt, everyone believed that capital punishment was sometimes right. Nowadays, when many people (e.g. me) reject it, the procedure won't work.
25. Social Practice / E. Policies / 1. War / e. Peace
Seeking peace through war is like looking for fish up a tree [Mengzi (Mencius)]
     Full Idea: Your desire to extend your territory by war, in order to bring peace, is like looking for fish by climbing a tree.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7)
     A reaction: Mencius had a flair for analogies. Just occasionally I suppose he might be wrong on this point, but I would think that experiments in the laboratory of history have shown that he is right in nearly all cases.
25. Social Practice / F. Life Issues / 6. Animal Rights
Avoid the animals you are going to eat, as it is hard once you have got to know them [Mengzi (Mencius)]
     Full Idea: Once a gentleman has seen animals alive, he cannot bear to see them die, and once having heard their cry, he cannot bear to eat their flesh. That is why the gentleman keeps his distance from the kitchen.
     From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7)
     A reaction: If you applied this to a Gestapo officer and his victims, it would obviously be the epitome of wickedness. But it is complex. Compassion is expected when we encounter suffering, but we are not obliged to seek out suffering. Or are we?