Název: "Logica ludus"
Překlad názvu: "Logica ludus"
Autoři: Peregrin, Jaroslav
Typ dokumentu: Příspěvky z konference
Konference/Akce: Hra, věda a filosofie, Praha (CZ), 2004-11-04 / 2004-11-05
Rok: 2006
Jazyk: cze
Abstrakt: [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.
Klíčová slova: dialogic logic; game theory; game-theoretic semantics
Číslo projektu: CEZ:AV0Z90090514 (CEP)
Zdrojový dokument: Hra, věda a filosofie, ISBN 80-7007-222-9

Instituce: Filosofický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0138337

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-36046


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference