Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
"Logica ludus"
Peregrin, Jaroslav
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.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.