Combining Texts

Ideas for 'Saundaranandakavya', 'Higher-Order Logic' and 'A Dictionary of Philosophy'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / G. Quantification / 5. Second-Order Quantification

10290	Second-order variables also range over properties, sets, relations or functions [Shapiro]
	Full Idea: Second-order variables can range over properties, sets, or relations on the items in the domain-of-discourse, or over functions from the domain itself.
	From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)