| dbo:abstract
|
- Die dialogische Logik (engl.: dialogical logic auch: game semantics) 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. Durch den Rahmen der Dialogischen Logik wird der Anspruch erhoben, dass die Beteiligten im Gespräch keinen externen Schiedsrichter benötigen, sondern in Freiheit die Geltung von Aussagen selbst prüfen. Die Regeln für die Junktoren und Quantoren werden 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 (Elementarsätze) einzutreten. Wird in den herkömmlichen Kalkülen von Elementarformeln ausgegangen und dann nach Kalkülregeln bis zum Endresultat abgeleitet, so geht man in der Dialogischen Logik genau andersherum vor: Es wird mit einer zusammengesetzten Behauptung angefangen und diese unter Einhaltung der Spielregeln auf Elementarsätze reduziert. (de)
- Dialogical logic (also known as the logic of dialogues) was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy". Since dialogical logic was the first approach to the semantics of logic using notions stemming from game theory, game theoretical semantics (GTS) and dialogical logic are often conflated under the term game semantics. However, as discussed below, though GTS and dialogical logic are both rooted in a game-theoretical perspective, in fact, they have quite different philosophical and logical background. Nowadays it has been extended to a general framework for the study of meaning, knowledge, and inference constituted during interaction. The new developments include cooperative dialogues and dialogues deploying a fully interpreted language (dialogues with content). (en)
- La lógica dialógica (también conocida como lógica del diálogo) ha sido concebida como un enfoque pragmático de la semántica de la lógica que recurre a conceptos de la teoría de juegos como ganar una partida y estrategia ganadora . Dado que la lógica dialógica fue la primera en abordar la semántica de la lógica con conceptos de la teoría de juegos, también se la conoce como semántica de juegos. Muy a menudo, la semántica formal de juegos de Jaakko Hintikka, conocida como Game Theoretical Semantics (GTS), y la lógica dialógica se confunden. Sin embargo,aunque GTS y la lógica dialógica comparten ambas una perspectiva lúdica, su contexto filosófico y lógico es muy diferente. Las publicaciones más recientes extienden la lógica dialógica a un marco general para el estudio del significado, el conocimiento y la inferencia en el curso de la interacción argumentativa. Los nuevos desarrollos incluyen diálogos cooperativos y diálogos con un lenguaje totalmente interpretado. (es)
- La logique du dialogue (aussi connue comme logique dialogique) a été conçue comme une approche pragmatique de la sémantique de la logique faisant appel à des concepts de la théorie des jeux tels que gagner une partie et stratégie. Puisque la logique dialogique a été la première approche de la sémantique de la logique, elle est aussi connue sous le nom de sémantique de jeu. Assez souvent, la sémantique théorique des jeux de Jaakko Hintikka – en anglais Game Theoretical Semantics (GTS) – et la logique dialogique sont confondues. Cependant, comme indiqué ci-dessous, bien que GTS et la logique dialogique partagent les deux une perspective ludique, leur contexte philosophique et logique est très différent. De plus, de nos jours, la logique dialogique a été étendue à un cadre général pour l’étude du sens, de la connaissance et de l’inférence constitués au cours d’une interaction argumentative. Les nouveaux développements incluent des dialogues coopératifs et des dialogues avec un langage complètement interprété. (fr)
- ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されており、ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 (ja)
- Lógica do Diálogo (em alemão: dialogische Logik, traduzido como Lógica Dialógica) é uma abordagem para a semântica formal que fundamenta os conceitos de verdade e validade no escopo de teoria dos jogos, como a existência de uma estratégia de vitória para um jogador, que se assemelha, de certa forma, ao Diálogo socrático e à teoria das obligationes medieval. No final dos anos 50, Paul Lorenzen foi o primeiro a introduzir a Lógica do diálogo, posteriormente aprimorada por Kuno Lorenz. Quase ao mesmo tempo que Lorenzen, Jaakko Hintikka desenvolveu uma abordagel modelo-teórica conhecida na literatura como GTS. Desde então, várias abordagens da Lógica do Diálogo têm sido estudadas pela lógica. Shahid Rahman (Lille) e colaboradores transformaram a dialógica em uma plataforma geral para o estudo de problemas lógicos e filosóficos relacionados ao pluralismo lógico. Por volta de 1995, isso iniciou uma forma de "Renascimento" que geraria resultados duradouros. Atualmente, essa nova filosofia impulsiona uma renovação paralela nos campos da Ciência da computação teórica, linguística computacional, inteligência artificial e da semântica formal das linguagens de programação iniciada pelo trabalho de Johan van Benthem e colaboradores em Amsterdam que analisaram profundamente a interface entre lógica e jogos. Novos resultados em lógica linear por J-Y. Girard nas interfaces entre teoria dos jogos matemática e lógica de um lado e teoria da argumentação e lógica do outro, resultaram no trabalho de muitos outros como , J. van Benthem, A. Blass, D. Gabbay, , , R. Jagadeesan, , E. Krabbe, L. Ong, H. Prakken, G. Sandu D. Walton, e J. Woods que puseram a Lógica do Diálogo no centro de um novo conceito na lógica em que esta é compreendida como um instrumento dinâmico de inferência. (pt)
- 博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。 (zh)
|
| rdfs:comment
|
- ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されており、ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 (ja)
- 博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。 (zh)
- Die dialogische Logik (engl.: dialogical logic auch: game semantics) 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. Durch den Rahmen der Dialogischen Logik wird der Anspruch erhoben, dass die Beteiligten im Gespräch keinen externen Schiedsrichter benötigen, sondern in Freiheit die Geltung von Aussagen selbst prüfen. (de)
- Dialogical logic (also known as the logic of dialogues) was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy". Nowadays it has been extended to a general framework for the study of meaning, knowledge, and inference constituted during interaction. The new developments include cooperative dialogues and dialogues deploying a fully interpreted language (dialogues with content). (en)
- La lógica dialógica (también conocida como lógica del diálogo) ha sido concebida como un enfoque pragmático de la semántica de la lógica que recurre a conceptos de la teoría de juegos como ganar una partida y estrategia ganadora . Las publicaciones más recientes extienden la lógica dialógica a un marco general para el estudio del significado, el conocimiento y la inferencia en el curso de la interacción argumentativa. Los nuevos desarrollos incluyen diálogos cooperativos y diálogos con un lenguaje totalmente interpretado. (es)
- La logique du dialogue (aussi connue comme logique dialogique) a été conçue comme une approche pragmatique de la sémantique de la logique faisant appel à des concepts de la théorie des jeux tels que gagner une partie et stratégie. (fr)
- Lógica do Diálogo (em alemão: dialogische Logik, traduzido como Lógica Dialógica) é uma abordagem para a semântica formal que fundamenta os conceitos de verdade e validade no escopo de teoria dos jogos, como a existência de uma estratégia de vitória para um jogador, que se assemelha, de certa forma, ao Diálogo socrático e à teoria das obligationes medieval. No final dos anos 50, Paul Lorenzen foi o primeiro a introduzir a Lógica do diálogo, posteriormente aprimorada por Kuno Lorenz. Quase ao mesmo tempo que Lorenzen, Jaakko Hintikka desenvolveu uma abordagel modelo-teórica conhecida na literatura como GTS. (pt)
|
