"Logica ludus"

0047422 - FLÚ 2007 RIV CZ cze K - Konferenční příspěvek (tuzemská konf.)
Peregrin, Jaroslav
"Logica ludus".
["Logica ludus".]
Hra, věda a filosofie. Praha: Filosofia, 2006 - (Nosek, J.), s. 203-211. ISBN 80-7007-222-9.
[Hra, věda a filosofie. Praha (CZ), 04.11.2004-05.11.2004]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: game theory * game-theoretic semantics * dialogic logic
Kód oboru RIV: AA - Filosofie a náboženství

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.
Trvalý link: http://hdl.handle.net/11104/0138337