Lexicon of Arguments

 

I 46
Syntax/Prior: variables and constants belong to the same syntactic category.
>Variables, >Constants
Problem: what is the meaning of the quantifier with quantification over properties?
>Quantification over properties, >Quantification, >Quantifiers.
Should the following variable (to be bound by the quantifier) belong to it?
>Bound Variables.
Solution: if we consider lambda operators as the only operators that may bind the variables, then the quantifier can build the sentence :

∏(λxφx)

(which is equivalent to the simple φ) is briefly

∏φ,

everything φ-s.
The quantifier builts the sentence.
>Lambda calculus, >Lambda notation, >Range.
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 an adverb.
>Sets, >Clauses, >Adverbs.