About: Dialogical logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Dialogical logic Goto Sponge Distinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDialogical_logic

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).

Attributes	Values
rdf:type	Thing
rdfs:label	Dialogische Logik (de) Lógica dialógica (es) Dialogical logic (en) Logique du dialogue (fr) ゲーム意味論 (ja) Lógica do diálogo (pt) 博弈语义 (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)
differentFrom	Philosophy of dialogue
dcterms:subject	Logic
Wikipage page ID	31402297 (xsd:integer)
Wikipage revision ID	1085001328 (xsd:integer)
Link from a Wikipage to another Wikipage	Belief revision Samson Abramsky Epistemic modal logic Modal logic Model theory Boston Logic Applied linguistics Argumentation framework Argumentation theory Paul Lorenzen Per Martin-Löf Robert Brandom University of Erlangen–Nuremberg Validity (logic) Defeasible reasoning Intuitionistic logic Kuno Lorenz Pragma-dialectics Else M. Barth Game theory Connexive logic Andreas Blass Linear logic Ludics Computer science Frans H. van Eemeren Game semantics Giorgi Japaridze Logical pluralism Paraconsistent logic John Woods (logician) Logical constant Proof theory Relevance logic Helsinki Jaakko Hintikka Jean-Yves Girard Hybrid logic Arne Næss Artificial intelligence Charles Leonard Hamblin Johan van Benthem (logician) Stephen Toulmin Term logic Doug Walton Dov Gabbay Free logic Method of analytic tableaux Chaim Perelman Semantics of logic Rob Grootendorst Université de Lille Constructive type theory Universität des Saarlandes Evert W. Beth
Link from a Wikipage to an external page	https://www.iep.utm.edu/dial-log/ https://research.rug.nl/en/publications/d6af4193-bc76-4765-a23a-a827186c2ba6 http://girard.perso.math.cnrs.fr/0.pdf%7Cdoi=10.1017/S096012950100336X https://academic.oup.com/jigpal/article/9/5/693/688327 https://archive.org/details/argumentlogicoff0000wood https://doi.org/10.1007/s11225-008-9150-5 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1988.tb00919.x https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1991.tb00979.x https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1994.tb00107.x
sameAs	Dialogical logic Dialogical logic Dialogical logic Dialogical logic Dialogical logic Dialogical logic Dialogical logic Dialogical logic Dialogical logic
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Cite_journal dbt:Distinguish dbt:Full_citation_needed dbt:Harvtxt dbt:Ill

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software