Quantifier (linguistics)

In linguistics and grammar, a quantifier is a type of determiner, such as all, some, many, few, a lot, and no, (but not numerals) that indicates quantity.

Quantification is also used in logic, where it is a formula constructor that produces new formulas from old ones. Natural languages' determiners have been argued to correspond to logical quantifiers at the semantic level.

Introduction

All known human languages make use of quantification (Wiese 2004). For example, in English:

The words in italics are quantifiers. There exists no simple way of reformulating any one of these expressions as a conjunction or disjunction of sentences, each a simple predicate of an individual such as That wine glass was chipped. These examples also suggest that the construction of quantified expressions in natural language can be syntactically very complicated. Fortunately, for mathematical assertions, the quantification process is syntactically more straightforward.

The study of quantification in natural languages is much more difficult than the corresponding problem for formal languages. This comes in part from the fact that the grammatical structure of natural language sentences may conceal the logical structure. Moreover, mathematical conventions strictly specify the range of validity for formal language quantifiers; for natural language, specifying the range of validity requires dealing with non-trivial semantic problems. For example the sentence "Someone gets mugged in New York every 10 minutes" does not identify whether it is the same person getting mugged every 10 minutes, see also below.

Montague grammar gives a novel formal semantics of natural languages. Its proponents argue that it provides a much more natural formal rendering of natural language than the traditional treatments of Frege, Russell and Quine.

Nesting

The order of quantifiers is critical to meaning. While mathematical formal notation requires to write quantifiers in front, thus avoiding ambiguity, problems arise in natural (or mixed) language when quantifiers are also appended:

"there is an A such that (C for all B)", formally: "∃A: ∀B: C"
but it could be interpreted as
"(there is an A such that C) for all B", formally: "∀B: ∃A: C"

History

Term logic, also called Aristotelian logic, treats quantification in a manner that is closer to natural language, and also less suited to formal analysis. Term logic treated All, Some and No in the 4th century BC, in an account also touching on the alethic modalities. Starting with Gottlob Frege's 1879 Begriffsschrift, Charles Sanders Peirce's 1885 work, and Bertrand Russell's 1903 Principles of Mathematics, quantifiers were introduced into mathematical logic formalism. See Quantifier (logic)#History for details.

See also

References

    This article is issued from Wikipedia - version of the 11/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.