Propositional glue and the projection architecture of LFG
Date
2010
Authors
Andrews, Avery
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Although 'glue semantics' is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard's system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and exponential free version of either MILL or ILL, depending on whether or not tensors are used). (2) Reverse the direction of the standard σ-projection from f-structure to meaning, giving one going from the (atomic nodes of) the glue-proof to the f-structure, rather than from the f-structure to a 'semantic projection' which is itself somehow related to the glue-proof. As a side effect, the standard semantic projection of LFG glue semantics can be dispensed with. A result is that LFG sentence structures acquire a level composed of strictly binary trees, constructed out of nodes representing function application and lambda abstraction, with a significant resemblance to external and internal merge in the Minimalist Program. This increased resemblance between frameworks might assist in making useful comparisons.
Description
Keywords
Keywords: Correspondence architecture; Glue semantics; Lexical-functional grammar; Linear logic; Syntax-semantics interface
Citation
Collections
Source
Linguistics and Philosophy: a journal of natural language syntax, semantics, logic, pragmatics, and processing
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description