"Logica ludus"

0047422 - FLÚ 2007 RIV CZ cze K - Conference Paper (Czech conference)
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]
Institutional research plan: CEZ:AV0Z90090514
Keywords : game theory * game-theoretic semantics * dialogic logic
Subject RIV: AA - Philosophy ; Religion

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.
Permanent Link: http://hdl.handle.net/11104/0138337