display all the ideas for this combination of texts
1 idea
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) |