The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. |
These variables can be bound by standard existential and universal quantifiers. |
Horwich recognizes that if he used substitutional quantifiers, his theory would be finitely statable. |
In formal mathematical logic, one makes frequent use of the existential and universal quantifiers. |
Though indefinite by default, the absolute quantifiers can be rendered definite through the use of a definite determiner. |
When I first began to work on this project, cliometric quantifiers and mathematical modelers were the cutting-edge interpreters of slavery. |