| Information | |
|---|---|
| has gloss | eng: Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz. At almost the same time as Lorenzen, Jaakko Hintikka developed a model-theoretical approach known in the literature as GTS. Since then, a number of different game semantics have been studied in logic. Shahid Rahman (Lille) and collaborators developed dialogic into a general framework for the study of logical and philosophical issues related to logical pluralism. At around 1995 this triggered a kind of Renaissance with lasting consequences. Actually this new philosophical impulse experienced a parallel renewal in the fields of theoretical computer sciences, computational linguistics, artificial intelligence and the formal semantics of programming languages triggered by the work of Johan van Benthem and collaborators in Amsterdam who looked thoroughly at the interface between logic and games. |
| lexicalization | eng: game semantics |
| instance of | c/Logical calculi |
| Meaning | |
|---|---|
| German | |
| has gloss | deu: Die dialogische Logik ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik. Die Motivation ist eine im Vergleich zum Ableiten in Logikkalkülen nähere Orientierung am menschlichen Argumentieren. |
| lexicalization | deu: dialogische Logik |
| French | |
| has gloss | fra: La logique du dialogue (aussi connue comme logique dialogique et comme sémantique des jeux) est une approche des sémantiques de la logique fondée sur le concept de validité (logique dialogique) ou de vérité (sémantique des jeux) appartenant aux concepts des jeux théorétiques, tel que lexistence dune stratégie de victoire pour les joueurs. Paul Lorenzen (Erlangen-Nürnberg-Universität) fut le premier à avoir introduit une sémantique des jeux pour la logique, à la fin des années 1950 (appelée dialogische Logik) et qui a été ensuite développée plus tard par Kuno Lorenz (Erlangen-Nürnberg-Universität, puis Saarland). Jaakko Hintikka (Helsinki, Boston) a développé presqu'au même moment que Lorenzen une approche modéle-théorétique connue aussi sous le nom de GTS. |
| lexicalization | fra: Logique du dialogue |
| Japanese | |
| has gloss | jpn: ゲーム意味論（Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半に Paul Lorenzen が提唱した。その後、様々なゲーム意味論が研究されてきた。ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 |
| lexicalization | jpn: ゲーム意味論 |
| Chinese | |
| has gloss | zho: 博弈语义是一种逻辑的语义，基于在博弈论概念上的真理或有效性的概念，比如对一个游戏者存在一种获胜策略。保尔·洛伦茨首先在1950年代晚期为逻辑介入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。 |
| lexicalization | zho: 博弈语义 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint