more from Řystein Linnebo

Single Idea 10778

[catalogued under 5. Theory of Logic / G. Quantification / 6. Plural Quantification]

Full Idea

According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free.

Clarification

'Monadic' means predicates and relations have the minimum number of places

Gist of Idea

Can second-order logic be ontologically first-order, with all the benefits of second-order?

Source

Řystein Linnebo (Plural Quantification Exposed [2003], §0)

Book Reference

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