Some proof theoretical remarks on quantification in ordinary language

Authors
Abstract
This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general setting departs from empirical linguistic data, and give some hints for a different view based on proof theory, which on many aspects gets closer to the language itself. We stress the importance of Hilbert's oper- ator epsilon and tau for, respectively, existential and universal quantifications. Indeed, these operators help a lot to construct semantic representation close to natural language, in particular with quantified noun phrases as individual terms. We also define guidelines for the design of the proof rules corresponding to generalised quantifiers
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Remark on Collective Quantification.Juha Kontinen & Jakub Szymanik - 2008 - Journal of Logic, Language and Information 17 (2):131-140.
Quantification in English is Inherently Sortal.Ed Keenan - 1999 - History and Philosophy of Logic 20 (3-4):251-265.
A New Theory of Quantifiers and Term Connectives.Ken Akiba - 2009 - Journal of Logic, Language and Information 18 (3):403-431.
Reasoning with Quantifiers.Bart Geurts - 2003 - Cognition 86 (3):223--251.
Beyond Plurals.Agustin Rayo - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 220--54.
A New Correctness Criterion for Cyclic Proof Nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Bound Variables and Schematic Letters.Philip Hugly & Charles Sayward - 1981 - Logique Et Analyse 95 (95):425-429.
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.

Analytics

Added to PP index
2013-01-23

Total downloads
38 ( #168,977 of 2,293,801 )

Recent downloads (6 months)
1 ( #410,358 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature