David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Linguistics and Philosophy 20 (1):73-115 (1997)
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||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ned 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):143-156.
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.
Paul Égré & Denis Bonnay (2010). Vagueness, Uncertainty and Degrees of Clarity. Synthese 174 (1):47 - 78.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #306,128 of 1,088,378 )
Recent downloads (6 months)0
How can I increase my downloads?