display all the ideas for this combination of texts
1 idea
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
Full Idea: Permitting quantification into predicate position and adding second-order variables leads to second-order logic. | |
From: Joseph Melia (Modality [2003], Ch.2) | |
A reaction: Often expressed by saying that we now quantify over predicates and relations, rather than just objects. Depends on your metaphysical commitments. |