Justyna Grudzinska
University of Warsaw
This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is that it offers a principled solution to the puzzle of why both inversely linked interpretations and weak definite readings are blocked with certain prepositions.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10849-019-09280-9
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: 55,909
External links

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

Scorekeeping in a Language Game.David K. Lewis - 1979 - Journal of Philosophical Logic 8 (1):339--359.
Continuations and the Nature of Quantification.Chris Barker - 2002 - Natural Language Semantics 10 (3):211-242.
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Definites.Sebastian Löbner - 1985 - Journal of Semantics 4 (4):279-326.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Definiteness and Determinacy.Elizabeth Coppock & David Beaver - 2015 - Linguistics and Philosophy 38 (5):377-435.
Cumulation is Needed: A Reply to Winter (2000). [REVIEW]Sigrid Beck & Uli Sauerland - 2000 - Natural Language Semantics 8 (4):349-371.
Definiteness and Indefiniteness.Barbara Abbott - 2004 - In Laurence R. Horn & Gregory Ward (eds.), Handbook of Pragmatics. Blackwell.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
A More General Theory of Definite Descriptions.Richard Sharvy - 1980 - Philosophical Review 89 (4):607-624.
Concept Types and Determination.S. Lobner - 2011 - Journal of Semantics 28 (3):279-333.


Added to PP index

Total views
8 ( #939,561 of 2,403,020 )

Recent downloads (6 months)
1 ( #552,435 of 2,403,020 )

How can I increase my downloads?


My notes