Combining Texts

All the ideas for 'Intro to Principles of Morals and Legislation', 'Three Grades of Modal Involvement' and 'To be is to be the value of a variable..'

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

25 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
7785 The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10699 Does a bowl of Cheerios contain all its sets and subsets? [Boolos]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10225 Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro]
10736 Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo]
10780 Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
12219 Whether a modal claim is true depends on how the object is described [Quine, by Fine,K]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10697 Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos]
5. Theory of Logic / G. Quantification / 1. Quantification
10922 Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
13671 Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
10267 We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro]
10698 Plural forms have no more ontological commitment than to first-order objects [Boolos]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
7806 Boolos invented plural quantification [Boolos, by Benardete,JA]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
10700 First- and second-order quantifiers are two ways of referring to the same things [Boolos]
9. Objects / D. Essence of Objects / 9. Essence and Properties
10923 Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine]
10. Modality / A. Necessity / 2. Nature of Necessity
10921 Necessity can attach to statement-names, to statements, and to open sentences [Quine]
10. Modality / A. Necessity / 11. Denial of Necessity
10924 Necessity is in the way in which we say things, and not things themselves [Quine]
22. Metaethics / C. The Good / 1. Goodness / c. Right and good
5901 Is 'productive of happiness' the definition of 'right', or the cause of it? [Ross on Bentham]
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
5934 Of Bentham's 'dimensions' of pleasure, only intensity and duration matter [Ross on Bentham]
22. Metaethics / C. The Good / 3. Pleasure / e. Role of pleasure
3777 Pleasure and pain control all human desires and duties [Bentham]
23. Ethics / E. Utilitarianism / 2. Ideal of Pleasure
3554 Bentham thinks happiness is feeling good, but why use morality to achieve that? [Annas on Bentham]
3781 The value of pleasures and pains is their force [Bentham]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
3778 The community's interest is a sum of individual interests [Bentham]
25. Social Practice / F. Life Issues / 6. Animal Rights
20280 Large mature animals are more rational than babies. But all that really matters is - can they suffer? [Bentham]
26. Natural Theory / A. Speculations on Nature / 1. Nature
3779 Unnatural, when it means anything, means infrequent [Bentham]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
3780 We must judge a thing morally to know if it conforms to God's will [Bentham]