Predicate logic with flexibly binding operators and natural language semantics

Abstract
A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.
Keywords anaphora  compositionality  DPL  dynamic semantics  variable-binding
Categories (categorize this paper)
DOI 10.1007/BF01050634
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,838
Through your library
References found in this work BETA
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
Towards a Proper Treatment of Quantification in English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.

View all 8 references / Add more references

Citations of this work BETA
Compositionality II: Arguments and Problems.Peter Pagin - 2010 - Philosophy Compass 5 (3):265-282.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
43 ( #137,091 of 2,231,715 )

Recent downloads (6 months)
4 ( #147,513 of 2,231,715 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature