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.
All known human languages make use of quantification (Wiese 2004).[page needed] 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. 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.
The order of quantifiers is critical to meaning. While mathematical formal notation requires writing quantifiers in front, thus avoiding ambiguity, problems arise in natural (or mixed) language when quantifiers are also appended:
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.