Philosophical logic
Model theory
Functions and mappings
Interpretation
Philosophy of mind
Function
Logical connective
Modal logic
Entailment
Logic
Mathematics
Metalogic