Higher order unification and the interpretation of focus
Linguistics and Philosophy 20 (1):73-115 (1997)
| Abstract | Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNed Block (2011). The Higher Order Approach to Consciousness is Defunct. Analysis 71 (3):419-431.
Isabel Gois (2010). A Dilemma for Higher-Order Theories of Consciousness. Philosophia 38 (1).
Larry M. Jorgensen (2011). Leibniz on Memory and Consciousness. British Journal for the History of Philosophy 19 (5):887-916.
Robert Van Gulick (2004). Higher-Order Global States (Hogs): An Alternative Higher-Order Model of Consciousness. In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Mary Dalrymple, Stuart M. Shieber & Fernando C. N. Pereira (1991). Ellipsis and Higher-Order Unification. Linguistics and Philosophy 14 (4):399 - 452.
Christoph Benzmüller (2002). Comparing Approaches to Resolution Based Higher-Order Theorem Proving. Synthese 133 (1-2):203 - 235.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,982 of 549,546 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
