Original title: "Logica ludus"
Translated title: "Logica ludus"
Authors: Peregrin, Jaroslav
Document type: Papers
Conference/Event: Hra, věda a filosofie, Praha (CZ), 2004-11-04 / 2004-11-05
Year: 2006
Language: cze
Abstract: [cze] [eng]
V rámci nedávného vývoje v logice se do centra pozornosti dostávají souvislosti mezi logikou a teorií her a logické kalkuly začínají být nahlíženy jako prostředky vymezení určitých pravidel, v jejichž rámci pak hrajeme jisté ('odůvodňovací') hry, reprezentovatelné výroky příslušných kalkulů. Článek probírá dvě varianty takového 'herního' přístupu k logice: Hintikkovu herní sémantiku klasické logiky a Lorenzenovu dialogickou logiku. Recent development of logic has brought about an interest in the interconnections between logic and game theory. As a result, logical calculi have started to be seen as means of delimitation of certain rules, within the framework of which we then play certain games ('of justification'), represented by statements of the corresponding calculi. The paper discusses two variants of such 'game-theoretical' approach to logic: Hintikka's game-theoretical semantics of classical logic and Lorenzen's dialogic logic.
Keywords: dialogic logic; game theory; game-theoretic semantics
Project no.: CEZ:AV0Z90090514 (CEP)
Host item entry: Hra, věda a filosofie, ISBN 80-7007-222-9

Institution: Institute of Philosophy AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0138337

Permalink: http://www.nusl.cz/ntk/nusl-36046


The record appears in these collections:
Research > Institutes ASCR > Institute of Philosophy
Conference materials > Papers