The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957], [Lindström 1966]) with dependent types ([Martin-Löf 1972], [Makkai 1995]) in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].
The present paper retraces some results of my own investigations, among other authors, on such questions as negation, levels of analysis of sentences, and internal structure of NPs, after years of research in the field. It suggests some possible paths of further investigations, among others: thus, negation needs a multi-levels of analysis, including an enunciative component; syntax requires an adequate description of informative value of items, and the internal composition of determiners in French remains an open question.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.