Analytic philosophy
Semantics
Philosophical logic
Meaning
Pragmatics
Illocutionary act
Truth
Speech act
Formal proof
Linguistics
Philosophy of language
Philosophy