Journal of Philosophical Logic 31 (6):499-526 (2002)
Standard first-order logic plus quantifiers of all finite orders ("SFOLω") faces four well-known difficulties when used to characterize the behavior of certain English quantifier phrases. All four difficulties seem to stem from the typed structure of SFOLω models. The typed structure of SFOLω models is in turn a product of an asymmetry between the meaning of names and the meaning of predicates, the element-set asymmetry. In this paper we examine a class of models in which this asymmetry of meaning is removed. The models of this class permit definitions of the quantifiers which allow a desirable flexibility in fixing the domain of quantification. Certain SFOLω type restrictions are thereby avoided. The resulting models of English validate all of the standard first-order logical truths and are free of the four deficiencies of SFOLω models
|Keywords||quantification theory quantifiers semantics type-free logic type theory|
|Categories||categorize this paper)|
References found in this work BETA
Generalized Quantifiers and Natural Language.Jon Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Boolean Semantics for Natural Language.Edward L. Keenan & Leonard M. Faltz - 1987 - Journal of Symbolic Logic 52 (2):554-555.
Citations of this work BETA
No citations found.
Similar books and articles
A Remark on Collective Quantification.Juha Kontinen & Jakub Szymanik - 2008 - Journal of Logic, Language and Information 17 (2):131-140.
Extending Standard Models of ZFC to Models of Nonstandard Set Theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Theories of Arithmetics in Finite Models.M. Krynicki & K. Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Theories of Truth Without Standard Models and Yablo's Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
Added to index2009-01-28
Total downloads45 ( #114,954 of 2,164,577 )
Recent downloads (6 months)1 ( #347,948 of 2,164,577 )
How can I increase my downloads?