| dbpprop:abstract
|
- 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. New results in linear logic by J-Y. Girard in the interfaces between mathematical game theory and logic on one hand and argumentation theory and logic on the other hand resulted in the work of many others, including S. Abramsky, J. van Benthem, A. Blass, D. Gabbay, M. Hyland, W. Hodges, R. Jagadessan, G. Japaridze, E. Krabbe, L. Ong, H. Prakken, G. Sandu D. Walton, and J. Woods who placed game semantics in the center of new concept of logic in which logic is understood as a dynamic instrument of inference.
- 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. Die Regeln für die Junktoren und Quantoren werden statt der herkömmlichen Wahrheitswerttafeln als Dialogspiel konzipiert. Der Dialog wird allgemein durch Rahmenregeln und im Detail durch Angriffs- und Verteidigungsregeln für die logischen Operatoren bestimmt. Wahr heißt eine aus logischen Zeichen zusammengesetzte Aussage, wenn sie sich im Dialog immer gewinnen lässt. Formal wahr wird eine solche Aussage genannt, wenn sie stets gewonnen werden kann, ohne in einen Dialog über die Primaussagen einzutreten.
- 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 l'existence d'une 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 50 (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. Depuis, un nombre important de différentes sémantiques des jeux ont été étudié en logique. Shahid Rahman et ses collaborateurs ont développé la dialogique au sein d'un cadre général destiné à l'étude des questions logiques et philosophiques relatives au pluralisme logique et provoqué ainsi, en 1995, une sorte de Renaissance ouvrant sur des possibilités inattendues. Actuellement, ce nouvel essor philosophique insuffle parallèlement un renouveau dans le champ des sciences théorétiques concernant l'informatique, la linguistique appliquée à l'informatique ainsi que pour l'intelligence artificielle. Les nouveaux résultats initiés, d'une part, en logique linéaire par J-Y Girard et concernant les relations entre la théorie des jeux mathématique et la logique, puis d'autre part, ceux initiés dans la théorie de l'argumentation et la logique dans les travaux, entre autres de S. Abramsky, J. van Benthem, A. Blass, D. Gabbay, M. Hylan, W. Hodges, R. Jagadessan, G. Japaridze, E. Krabbe, L. Ong, H. Prakken, G. Sandu, D. Walton, et J. Woods, ont, en fait, placé la sémantique des jeux au centre d'un nouveau concept de logique ou celle-ci est entendue comme un instrument d'inférence dynamique.
- ゲーム意味論（Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半に Paul Lorenzen が提唱した。その後、様々なゲーム意味論が研究されてきた。ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。
- 博弈语义是一种逻辑的语义，基于在博弈论概念上的真理或有效性的概念，比如对一个游戏者存在一种获胜策略。保尔·洛伦茨首先在1950年代晚期为逻辑介入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。
|
![[RDF Data]](/statics/sw-cube.png)
