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]].
Click on the Idea Number for the 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

10736

Boolos showed how plural quantifiers can interpret monadic secondorder logic

10780

Any sentence of monadic secondorder logic can be translated into plural firstorder logic

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

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

We should understand secondorder existential quantifiers as plural quantifiers

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

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
