Ideas from 'To be is to be the value of a variable..' by George Boolos [1984], by Theme Structure
[found in 'Logic, Logic and Logic' by Boolos,George [Harvard 1999,067453767x]].
green numbers give full details 
back to texts

expand these 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

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10699

Does a bowl of Cheerios contain all its sets and subsets?

5. Theory of Logic / A. Overview of Logic / 7. SecondOrder Logic
10225

Monadic secondorder logic might be understood in terms of plural quantifiers [Shapiro]

10736

Boolos showed how plural quantifiers can interpret monadic secondorder logic [Linnebo]

10780

Any sentence of monadic secondorder logic can be translated into plural firstorder logic [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

5. Theory of Logic / G. Quantification / 5. SecondOrder Quantification
13671

Secondorder quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Shapiro]

5. Theory of Logic / G. Quantification / 6. Plural Quantification
10267

We should understand secondorder existential quantifiers as plural quantifiers [Shapiro]

10698

Plural forms have no more ontological commitment than to firstorder objects

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
7806

Boolos invented plural quantification [Benardete,JA]

7. Existence / D. Theories of Reality / 10. Ontological Commitment / b. Commitment of quantifiers
10700

First and secondorder quantifiers are two ways of referring to the same things
