David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Juha Kontinen & Jakub Szymanik (2008). A Remark on Collective Quantification. Journal of Logic, Language and Information 17 (2):131-140.
Eduardo Alejandro Barrio (2010). Theories of Truth Without Standard Models and Yablo's Sequences. Studia Logica 96 (3):375-391.
M. J. Cresswell (1982). Urn Models: A Classical Exposition. Studia Logica 41 (2-3):109 - 130.
G. Hellman (2011). On the Significance of the Burali-Forti Paradox. Analysis 71 (4):631-637.
M. Krynicki & K. Zdanowski (2005). Theories of Arithmetics in Finite Models. Journal of Symbolic Logic 70 (1):1-28.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
Yannis Stephanou (2000). Model Theory and Validity. Synthese 123 (2):165-193.
Ed Keenan (1999). Quantification in English is Inherently Sortal. History and Philosophy of Logic 20 (3-4):251-265.
Added to index2009-01-28
Total downloads29 ( #57,869 of 1,096,898 )
Recent downloads (6 months)4 ( #74,153 of 1,096,898 )
How can I increase my downloads?