@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Kamp,Hans},
subject = {Terminology},
note = {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.
>Lambda calculus, >Lambda abstraction, >File change semantics.},
note = { Kamp I Kamp From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=421725}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=421725}
}