Predicate logic with flexibly binding operators and natural language semantics

Authors
Peter Pagin
Stockholm University
Dag Westerståhl
Stockholm University
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
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: 33,225
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

Analytics

Added to PP index
2009-01-28

Total downloads
43 ( #139,871 of 2,242,774 )

Recent downloads (6 months)
4 ( #112,194 of 2,242,774 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature