|Game-theoretical Semantics: game-theoretical semantics does not trace back truth or falsity of sentences, to meanings alone, but to strategies of verification, which are understood as winning strategies. See also situation semantics, possible world semantics, Kripke-Semantics, Montague-Semantics, dialogical logic._____________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 Game-theoretical Semantics - Dictionary of Arguments
Cresswell I 179
Game-theoretical semantics/CresswellVsHintikka: Hintikka and Kulas (1985)(1) have not made any discoveries that would not have been made by Kamp (1983)(2) and Heim (1983)(3) as well.
(1) Everyone loves someone.
This is about two different ranges.
((s) Everyone is so that someone is so that the former likes the latter, without quantification. > Lambda notation/Cresswell).
(3) <<λy, < everyone, <λx,
(1) Hintikka J. & Kulas J. (1985): Definite Descriptions. In: Anaphora and Definite Descriptions. Synthese Language Library (Texts and Studies in Linguistics and Philosophy), Vol. 26. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5410-6_2.
(2) Kamp, H. & Rohrer, C. (1983): Tense in texts. Meaning, use and interpretation of language 250, 269.
(3) Heim, I. (1983): Formal Semantics - the Essential Readings. In: P. Portner & B. H. Partee (eds.), Blackwell. pp. 249-260.
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