These are
CATEGORY 1:
predicate-constants.
---
CATEGORY 2:
constants of individuals.
---
category 3:
variables of individual
---
category 4:
LOGICAL constants -- by which he means truth-functors:
monadic: ~
dyadic: /\, \/, and ) (he later will play with )()
---
Category 5:
quantification-symbols: A and E. A quantifier is a complex of a quantification symbol followed by a subscripted variable -- rendering Axn, and Exn
---
Category 6:
numerical subscripts proper -- which denote natural numbers
---
Category 7:
propositional letters (just in case).
No comments:
Post a Comment