- Logic. An operator that limits the variables of a proposition, as some or all.
- Linguistics. A linguistic form that expresses a contrast in quantity, as some, all, or many.
Dictionary:
quan·ti·fi·er (kwŏn'tə-fī'ər) ![]() |
| 5min Related Video: quantifier |
| Philosophy Dictionary: quantifier |
Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake, or that all eat cake, or that not all eat cake, or that none eat cake. ‘Some’ and ‘all’ are represented in modern logic by the quantifiers. The important point is that the treatment fends off thinking of ‘something’, ‘nothing’, and their kin as kinds of names. In classical logic the two interdefinable quantifiers are the existential quantifier (∃x)…x, read as saying that something is…, and the universal quantifier (∀x)…x, read as saying that all things are…. Existential propositions, claiming that things of some kind exist, are represented by the existential quantifier. Less common quantifiers include the plurality quantifiers ‘many…’ and ‘few…’, and there are definable mathematical quantifiers such as ‘more than half…’, ‘exactly one…’.
More formally, a quantifier will bind a variable, turning an open sentence with n distinct free variables into one with n - 1 (an individual letter counts as one variable, although it may recur several times in a formula). When no variables remain free we have a closed sentence, i.e. one that can be evaluated as true or false within a domain. For example, from the open sentence Fx & Gx we can form (∃x)(Fx & Gx), meaning that something is both F and G. The one variable x is bound on each occurrence.
| WordNet: quantifier |
The noun has 2 meanings:
Meaning #1:
(logic) a word (such as `some' or `all` or `no') that binds the variables in a logical proposition
Synonym: logical quantifier
Meaning #2:
(grammar) a word that expresses a quantity (as `fifteen' or `many')
| Translations: Quantifier |
Français (French)
n. - (Ling, Philos) quantificateur
Deutsch (German)
n. - die Quantität anzeigendes Wort
Ελληνική (Greek)
n. - ποσοτικός προσδιορισμός
Italiano (Italian)
quantificatore
Português (Portuguese)
n. - quantificador (m)
Русский (Russian)
квантификатор, кванторное слово
Español (Spanish)
n. - cuantificador
Svenska (Swedish)
n. - myckenhetsord
中文(简体)(Chinese (Simplified))
数量词, 量记号
中文(繁體)(Chinese (Traditional))
n. - 數量詞, 量記號
한국어 (Korean)
n. - 양수사, 양기호, 계량 숙련자
עברית (Hebrew)
n. - כמת - ביטוי כ"כל" או "חלק" בתורת ההיגיון
If you are unable to view some languages clearly, click here.
To select your translation preferences click here.
| Best of the Web: quantifier |
Some good "quantifier" pages on the web:
Math mathworld.wolfram.com |
| free variable (philosophy) | |
| universal proposition (philosophy) | |
| bound variable (mathematics) |
| What does quantifiable mean? Read answer... | |
| How we quantify environmnetal impacts to do CBA? Read answer... | |
| How do you quantify a family recipes? Read answer... |
| What does quantifying mean? | |
| Quantifiers using of? | |
| What is logical quantifiers? |
Copyrights:
![]() | Dictionary. The American Heritage® Dictionary of the English Language, Fourth Edition Copyright © 2007, 2000 by Houghton Mifflin Company. Updated in 2009. Published by Houghton Mifflin Company. All rights reserved. Read more | |
![]() | Philosophy Dictionary. The Oxford Dictionary of Philosophy. Copyright © 1994, 1996, 2005 by Oxford University Press. All rights reserved. Read more | |
![]() | WordNet. WordNet 1.7.1 Copyright © 2001 by Princeton University. All rights reserved. Read more | |
![]() | Translations. Copyright © 2007, WizCom Technologies Ltd. All rights reserved. Read more |
Mentioned in