From Discourse to Logic

Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

  • Hans Kamp
  • Uwe Reyle

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 42)

Table of contents

  1. Front Matter
    Pages i-6
  2. Part 1

    1. Hans Kamp, Uwe Reyle
      Pages 7-57
    2. Hans Kamp, Uwe Reyle
      Pages 59-139
    3. Hans Kamp, Uwe Reyle
      Pages 141-232
    4. Hans Kamp, Uwe Reyle
      Pages 233-304
  3. Part 2

    1. Hans Kamp, Uwe Reyle
      Pages 305-482
    2. Hans Kamp, Uwe Reyle
      Pages 483-689
  4. Back Matter
    Pages 691-717

About this book

Introduction

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo­ rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

Keywords

Syntax artificial intelligence cognitive science computational linguistics formal logic intelligence language linguistics logic predicate logic semantic semantics verification

Authors and affiliations

  • Hans Kamp
    • 1
  • Uwe Reyle
    • 1
  1. 1.Institute for Computational LinguisticsUniversity of StuttgartGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-1616-1
  • Copyright Information Springer Science+Business Media B.V. 1993
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-7923-1028-0
  • Online ISBN 978-94-017-1616-1
  • Series Print ISSN 0924-4662
  • About this book