Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account

Journal of Logic, Language and Information 28 (2):239-260 (2019)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Semantics with Assignment Variables.Alex Silk - 2021 - Cambridge: Cambridge University Press.


Added to PP

19 (#750,145)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Justyna Grudzinska
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

Semantics in generative grammar.Irene Heim & Angelika Kratzer - 1998 - Malden, MA: Blackwell. Edited by Angelika Kratzer.
Scorekeeping in a language game.David Lewis - 1979 - Journal of Philosophical Logic 8 (1):339--359.
Scorekeeping in a Language Game.David Lewis - 1979 - Journal of Philosophical Logic 8 (3):339.
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.

View all 23 references / Add more references