Assertion: predicate's variable | /r/CapableOf | allow second-order quantifiers
Facets:
Source sentences:
text: If "predicate variables" are only allowed to be bound to predicate letters of zero arity (which have no arguments), where such letters represent propositions, then such variables are propositional variables, and any predicate logic which allows second-order quantifiers to be used to bind such propositional variables is a second-order predicate calculus, or second-order logic.