Philosophy of language
Opaque context
Predicate logic
Philosophical logic
Function
Free variables and bound variables
Modal logic
Referential transparency
Logic
Mathematics
Analytic philosophy