Combining Texts

All the ideas for 'To be is to be the value of a variable..', 'Logical Necessity' and 'Intro to Principles of Morals and Legislation'

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

31 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
12204 The logic of metaphysical necessity is S5 [Rumfitt]
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 / B. Logical Consequence / 1. Logical Consequence
12195 Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
12199 There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
12201 We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
12194 Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
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 / 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]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
12198 Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
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]
10. Modality / A. Necessity / 3. Types of Necessity
14532 A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
10. Modality / A. Necessity / 6. Logical Necessity
12193 Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
12200 A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
12202 Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
12203 If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
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]