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