Graduate studies at Western
Journal of Philosophical Logic 31 (6):499-526 (2002)
|Abstract||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)|
|Through your library||Configure|
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 downloads25 ( #55,783 of 740,565 )
Recent downloads (6 months)1 ( #61,957 of 740,565 )
How can I increase my downloads?