Books on Amazon
Syntax / Prior: variables and constants belong to the same syntactic category - problem: what is the meaning of the quantifier with quantification over properties? - Should the following variable (to be bound by the quantifier) belong to it? - Solution: if we consider lambda operators as the only operators that may bind the variables, then the quantifier can build the sentence : P (lxfx) (which is equivalent to the simple f) is briefly Pf, all f-s. - The quantifier builtds the sentence. - Syntactic status of Lambda: symbolic crutch - Problem: e.g. Something is not the case: SN: S builds a sentence out of a one-digit compound or anadverb.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003