Single Idea 10736

[catalogued under 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic]

Full Idea

In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic.

Clarification

'Monadic' means the predicates are one-place

Gist of Idea

Boolos showed how plural quantifiers can interpret monadic second-order logic

Source

report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro

Book Reference

-: 'Nous' [-], p.71