|Terminologies: here, special features of the language use of the individual authors are explained._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
Hans Kamp on Terminology - Dictionary of Arguments
Cresswell I 116
Discourse Representation Semantics/descriptions/Irene Heim/Hans Kamp/Cresswell: discourse representation semantics is also called "file change" semantics. ("Change in the file" see below).
CresswellVs: normal truth-conditional semantics is sufficient when the defined and undefined descriptions are classified into some modified syntactic categories. Solution: λ-categorial language._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984