Talking about trees and truth-conditions

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

Abstract

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.

Similar books and articles

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. Philadelphia, PA: Institute for Research in Cognitive Science. pp. 112-115.
Talking about Trees and Truth-Conditions.Reinhard Muskens - 1991 - Journal of Logic, Language and Information 10 (4):417-455.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Classical Logic.Stewart Shapiro & Teresa Kouri Kissel - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.
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.
Trees for truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Many-Valued Logics.Nicholas J. J. Smith - 2012 - In Gillian Russell Delia Graff Fara (ed.), The Routledge Companion to Philosophy of Language. Routledge. pp. 636--51.
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).

Analytics

Added to PP
2009-01-28

Downloads
299 (#68,937)

6 months
76 (#64,852)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Muskens
University of Amsterdam

Citations of this work

Order-independence and Underspecification.Reinhard Muskens - 2004 - In Hans Kamp & Barbara Hall Partee (eds.), Context-Dependence in the Analysis of Linguistic Meaning. 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. Stanford, CA: 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