Science
Generative linguistics
Semantics
Grammar
Logical syntax
Alexis Manaster Ramer
Syntax
Principle of compositionality
Formal semantics
Linguistics
Formal languages
Logic