Dictionary

quantificational logic en · NOUN

Meanings

1. (uncountable) 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:

Antonyms

propositional logic · sentential logic

Relateds

binding · higher-order logic · predicate · quantifier · second-order logic · scope

Synonyms

quantification theory · elementary logic · predicate logic · first-order logic