Syntax
Semantics
Polarity item
Boolean algebra
Negation
Wh-movement
Logical connective
Well-formed formula
Quantification
Logic
Linguistics
Grammar