Analytic philosophy
Philosophy of language
Propositional calculus
Logical syntax
Metalogic
Truth
Proposition
Sentence
Gottlob Frege
Logic
Philosophy
Philosophical logic