quantificational logic
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.
Noun
quantificational logic (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
- Synonyms:
- first-order logic, predicate logic, elementary logic, quantification theory
Synonyms of quantificational logic
- first-order logic
- predicate logic
- elementary logic
- quantification theory
Antonyms
Questions about quantificational logic
- What does quantificational logic mean?
- Quantificational logic means 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.
- What part of speech is quantificational logic?
- Quantificational logic is a noun.
Words near quantificational logic in the dictionary
Source and license
Adapted from Wiktionary: quantificational logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “quantificational logic.” Word.ws, https://word.ws/quantificational_logic. Based on Wiktionary, CC BY-SA 4.0.
