quantificational logic

noun

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.

Similar
first-order logicpredicate logicelementary logicquantification theory

Meanings

nounquantificational logic (uncountable)
  1. uncountablehuman sciencesThe 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

Synonyms & antonyms

nounThe 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.

Similar
first-order logicpredicate logicelementary logicquantification theory
Cite this entry
APA

quantificational logic. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/quantificational%20logic

MLA

“quantificational logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/quantificational%20logic. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “quantificational logic,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/quantificational%20logic.

Source: quantificational logic on Wiktionary, CC BY-SA 4.0.