Abstract
Quantifiers are symbols indicating a “quantum” of objects taken into account in a sentence. The logical theory which deals with sentence structures involving quantifiers is called predicate logic (q.v.) or quantification logic. In the classical approach to predicate logic only two quantifiers are involved: the universal quantifier, i.e. the symbol which is read “for every x”, that is for every individual (symbolized by a variable like x, y etc.) of a domain in question; and the existential quantifier which is read “for some x” or “there is such an x that”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bell, J. L., Slomson, A. B.: Models and Ultraproducts, Amsterdam: North-Holland Publishing, 1969.
Keisler, H.J.: “Logic with the quantifier ‘there exist uncountably many’ ”, Ann. of Math. Logic, 1, 1–93, 1970.
Mostowski, A.: “On a generalization of quantifiers”, Fund. Math. 44, 12–36, 1957.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Marciszewski, W., Krajewski, S. (1981). Quantifiers. In: Marciszewski, W. (eds) Dictionary of Logic as Applied in the Study of Language. Nijhoff International Philosophy Series, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1253-8_55
Download citation
DOI: https://doi.org/10.1007/978-94-017-1253-8_55
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8257-2
Online ISBN: 978-94-017-1253-8
eBook Packages: Springer Book Archive