@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} }