more on this theme | more from this thinker
Full Idea
Boolos virtually patented the new device of plural quantification.
Gist of Idea
Boolos invented plural quantification
Source
report of George Boolos (To be is to be the value of a variable.. [1984]) by José A. Benardete - Logic and Ontology
Book Ref
'A Companion of Philosophical Logic', ed/tr. Jacquette,Dale [Blackwell 2002], p.359
A Reaction
This would be 'there are some things such that...'
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
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] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |