Combining Texts

All the ideas for 'Essays on Intellectual Powers: Abstraction', 'The Good State' and 'To be is to be the value of a variable..'

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

26 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 / 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]
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]
8. Modes of Existence / D. Universals / 5. Universals as Concepts
23651 Universals are not objects of sense and cannot be imagined - but can be conceived [Reid]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
23650 Only individuals exist [Reid]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
23649 No one thinks two sheets possess a single whiteness, but all agree they are both white [Reid]
9. Objects / F. Identity among Objects / 1. Concept of Identity
11874 Real identity admits of no degrees [Reid]
18. Thought / A. Modes of Thought / 1. Thought
23652 We must first conceive things before we can consider them [Reid]
18. Thought / E. Abstraction / 1. Abstract Thought
23648 First we notice and name attributes ('abstracting'); then we notice that subjects share them ('generalising') [Reid]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
23262 Experience, sympathy and history are sensible grounds for laying claim to rights [Grayling]
24. Political Theory / C. Ruling a State / 1. Social Power
23263 Politics is driven by power cliques [Grayling]
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
23255 It is essential for democracy that voting is free and well informed [Grayling]
23254 Democracies should require a supermajority for major questions [Grayling]
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
23260 A cap on time of service would restrict party control and career ambitions [Grayling]
24. Political Theory / D. Ideologies / 5. Democracy / e. Democratic minorities
23253 Majority decisions are only acceptable if the minority interests are not vital [Grayling]
25. Social Practice / B. Equalities / 1. Grounds of equality
23256 Liberty and equality cannot be reconciled [Grayling]
25. Social Practice / D. Justice / 1. Basis of justice
23258 The very concept of democracy entails a need for justice [Grayling]
25. Social Practice / D. Justice / 2. The Law / a. Legal system
23259 There should be separate legislative, executive and judicial institutions [Grayling]