Interpretation
Philosophy of language
Philosophy of mind
Semantics
Metaphilosophy
Philosophy
Model theory
Formal languages
Logic