Philosophical Studies 168 (3):709-724 (2014)

Stephan Kraemer
Universität Hamburg
Recently, some philosophers have argued that we should take quantification of any order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo's objection rests on the assumption of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders.
Keywords Higher-order quantification  Semantics  Semantic values  Inexpressibility  Absolute generality
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11098-013-0157-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,842
Through your library

References found in this work BETA

Parts of Classes.David K. Lewis - 1991 - Mind 100 (3):394-397.
Objects of Thought.A. N. PRIOR - 1971 - Clarendon Press.
Everything.Timothy Williamson - 2003 - Philosophical Perspectives 17 (1):415–465.

View all 18 references / Add more references

Citations of this work BETA

Plurals and Mereology.Salvatore Florio & David Nicolas - 2021 - Journal of Philosophical Logic 50 (3):415-445.
Unrestricted Quantification and the Structure of Type Theory.Nicholas K. Jones & Salvatore Florio - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.
Everything, and Then Some.Stephan Krämer - 2017 - Mind 126 (502):499--528.

View all 7 citations / Add more citations

Similar books and articles

Beyond Plurals.Agustin Rayo - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 220--54.
Re-Evaluating Supervaluations.Louis Goble - 1998 - ProtoSociology 11:66-92.
Two-Dimensional Semantics.Laura Schroeter - 2010 - Stanford Encyclopedia of Philosophy.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Higher Order Unification and the Interpretation of Focus.Stephen G. Pulman - 1997 - Linguistics and Philosophy 20 (1):73-115.
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.


Added to PP index

Total views
104 ( #100,484 of 2,438,931 )

Recent downloads (6 months)
5 ( #136,288 of 2,438,931 )

How can I increase my downloads?


My notes