Abstrakt
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.