The idea to use choice functions in the semantic analysis of indefinites has recently gained increasing attention among linguists and logicians. A central linguistic motivation for the revived interest in this logical perspective, which can be traced back to the epsilon calculus of Hilbert & Bernays (1939), is the observation by Reinhart (1992, 1997) that choice functions can account for the problematic scopal behaviour of indefinites and interrogatives. On-going research continues to explore this general thesis, which I henceforth adopt. In this paper I would like to address the matter from two angles. First, given that the semantics of indefinites involves functions, it still does not follow that these have to be choice functions. The common practise is to stipulate this restriction in order to get existential semantics right. However, a so-far open question is whether there is any way to derive choice function interpretation from more general principles of natural language semantics. Another question that has not been formally accounted for yet concerns the relationships between choice functions and the “specificity”/“referentiality” intuition of Fodor & Sag (1982) about indefinites. Is there a sense in which choice functions capture this popular pre-theoretical notion?
[1]
J. van der Does,et al.
Quantifiers, Logic, and Language
,
1996
.
[2]
Petra Hendriks.
Proceedings of the Eighth Amsterdam Colloquium
,
1992
.
[3]
Ivan A. Sag,et al.
Referential and quantificational indefinites
,
1982
.
[4]
Richard Sharvy.
A More General Theory of Definite Descriptions
,
1980
.
[5]
李幼升,et al.
Ph
,
1989
.
[6]
van der Jaap Does,et al.
Basic Quantifier Theory
,
1996
.
[7]
Y. Winter,et al.
Choice Functions and the Scopal Semantics of Indefinites
,
1997
.
[8]
Johan van Benthem,et al.
Questions About Quantifiers
,
1984,
J. Symb. Log..
[9]
Roger Schwarzschild,et al.
Flexible boolean semantics . Coordination , plurality and scope in natural language
,
2001
.
[10]
Alice G. B. ter Meulen.
Studies in modeltheoretic semantics
,
1983
.
[11]
T. Reinhart.
Wh-in-situ - An apparent paradox
,
1992
.
[12]
Alice G. B. ter Meulen,et al.
The representation of (in)definiteness
,
1989
.
[13]
E. G. Ruys,et al.
The scope of indefinites
,
1992
.
[14]
J. M. van der Does.
Quantification and Nominal Anaphora
,
1996
.
[15]
T. Reinhart.
Quantifier Scope: How labor is Divided Between QR and Choice Functions
,
1997
.
[16]
J. Barwise,et al.
Generalized quantifiers and natural language
,
1981
.
[17]
L. M. Milne-Thomson,et al.
Grundlagen der Mathematik
,
1935,
Nature.