quantificational logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences The logic of sentences involving quantifiers, predicates, and names; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their quantificational structure.
- Classical quantificational logic is the logic of quantifiers 'all' and 'some' in combination with truth functions.1990, Willard Van Orman Quine, Philosophy of Logic, 2nd edition, Harvard University Press, page 35:
- Synonyms
- first-order logic, predicate logic, elementary logic, quantification theory
- Antonyms
- propositional logic, sentential logic
- Related terms
- quantifier, predicate, binding, scope, second-order logic, higher-order logic