Logic
Formal languages
Philosophy
Mathematical logic
Interpretation
Philosophy of mind
Semantics
Substitution
Model theory
Symbol
IP
operator