Predicate logic
Philosophical logic
Abstraction
Semantics
Propositional calculus
Property
Interpretation
Predicate
Function
Logic
Mathematics
Philosophy