Philosophy
Predicate logic
Analytic philosophers
Semantics
Sortal
First-order logic
Willard Van Orman Quine
Existential quantification
Logic
Quantification
Mathematical logic