1994/04/27 by Mary Dalrymple, John Lamping, Dalrymple, Mary +6
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #cmp-lg #cs.CL
paper · pdf · doi:10.48550/arxiv.cmp-lg/9404010
16 pages, revised and extended, to appear in the proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation
openalex publication_date 1994/04/27 · arxiv created 1994/08/22 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present an analysis of the semantic interpretation of intensional verbs such as seek that allows them to take direct objects of either individual or quantifier type, producing both de dicto and de re readings in the quantifier case, all without needing to stipulate type-raising or quantifying-in rules. This simple account follows directly from our use of logical deduction in linear logic to express the relationship between syntactic structures and meanings. While our analysis resembles current categorial approaches in important ways, it differs from them in allowing the greater type flexibility of categorial semantics while maintaining a precise connection to syntax. As a result, we are able to provide derivations for certain readings of sentences with intensional verbs and complex direct objects that are not derivable in current purely categorial accounts of the syntax-semantics interface. The analysis forms a part of our ongoing work on semantic interpretation within the framework of Lexical-Functional Grammar.