- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Semantics with Dependent Types for Indefinites
Studies in Logic, Grammar and Rhetoric 46 (1):173-192 (2016)
Abstract
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 properties. The proposal builds on the formal system combining generalized quantifiers with dependent types in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
How indefinites choose their scope.Adrian Brasoveanu & Donka F. Farkas - 2011 - Linguistics and Philosophy 34 (1):1-55.
Kontekstowo wrażliwe kwantyfikatory i ośla anafora (tłum. Justyna Grudzińska).Jeffrey King - 2010 - Przeglad Filozoficzny - Nowa Seria 75.
Two Types of Choice-Functional Indefinites: Evidence from Ga.Agata Renans - 2018 - Topoi 37 (3):405-415.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
The semantics of plural indefinite noun phrases in Spanish and Portuguese.Luisa Martí - 2008 - Natural Language Semantics 16 (1):1-37.
Analytics
Added to PP
2018-03-06
Downloads
17 (#896,762)
6 months
4 (#862,833)
2018-03-06
Downloads
17 (#896,762)
6 months
4 (#862,833)
Historical graph of downloads
Author's Profile
References found in this work
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-tsllw uwo