Semantics with Dependent Types for Indefinites

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].

Język:: Angielski

Częstotliwość wydawania:: 4 razy w roku
Dziedziny czasopisma:: Filozofia, Filozofia, inne

Kanał RSS czasopisma

Semantics with Dependent Types for Indefinites

Justyna Grudzińska

Data publikacji: 23 lis 2016

Zakres stron: 173 - 192

DOI: https://doi.org/10.1515/slgr-2016-0039

Słowa kluczoweindefinites, exceptional scopes, unbound anaphora, dependent type

© 2016 Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Słowa kluczowe
indefinites, exceptional scopes, unbound anaphora, dependent type