Talking about Trees and Truth-Conditions

Journal of Logic, Language and Information 10 (4):417-455 (1991)
  Copy   BIBTEX


We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
Description theory, LTAGs and Underspecified Semantics.Reinhard Muskens & Emiel Krahmer - 1998 - In Anne Abeillé, Tilman Becker, Giorgio Satta & K. Vijay-Shanker (eds.), Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. Institute for Research in Cognitive Science. pp. 112-115.
Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.
An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations:142-156.
Russell's Theory of Definite Descriptions as a Paradigm for Philosophy.Gregory Landini - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 194–223.


Added to PP

43 (#110,248)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), resource sensitivity, binding, and anaphora. kluwer. pp. 23--54.
Order-independence and Underspecification.Reinhard Muskens - 2004 - In Hans Kamp & Barbara Hall Partee (eds.), Context-dependence in the analysis of linguistic meaning. Boston: Elsevier. pp. 11--239.
Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. CSLI Publications. pp. 259-279.
Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.

Add more citations

References found in this work

The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
English as a Formal Language.Richard Montague - 1970 - In B. Visentini (ed.), Linguaggi Nella Societ\'{a} e Nella Tecnica'. Edizioni di Communita. pp. 188-221.
The Grammar of Quantification.Robert May - 1977 - Dissertation, Massachusetts Institute of Technology

View all 10 references / Add more references