Books on Amazon
|Lambda Calculus||I 45
Lamdaoperator / abstraction operator / Prior: is not equivalent with abstract nouns. It does not refer to properties, for it cannot replace the name variable - (s) adjunction of characteristics: no problem: "something f-s or y-s" - but not "the property of f-ing-or-y-ing" as an abstract entity - solution: "A v C "(either A-ing or C-ing" - not an abstract noun, but complex verb that forms a sentence - LO is necessary if one wants to formulate laws on propositions.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003