Metalogic

1. Syntactics, the study of structural properties of mathematical and logical calculi encompassing the theories of formal proofs and definability of concepts.

2. Semantics, the theories of meaning (or reference) and of sense.

3. Examination of the relation between intensional and extensional languages (leading to pragmatics).