Single Idea 5740

[catalogued under 5. Theory of Logic / G. Quantification / 5. Second-Order Quantification]

Full Idea

Permitting quantification into predicate position and adding second-order variables leads to second-order logic.

Gist of Idea

Second-order logic needs second-order variables and quantification into predicate position

Source

Joseph Melia (Modality [2003], Ch.2)

Book Reference

Melia,Joseph: 'Modality' [Acumen 2003], p.40


A Reaction

Often expressed by saying that we now quantify over predicates and relations, rather than just objects. Depends on your metaphysical commitments.