Logické hry a pravdivostní hodnoty

0047427 - FLÚ 2007 RIV CZ cze K - Konferenční příspěvek (tuzemská konf.)
Majer, Ondrej
Logické hry a pravdivostní hodnoty.
[Logical games and truth values.]
Hra, věda a filosofie. Praha: Filosofia, 2006 - (Nosek, J.), s. 231-240. 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: logic * game theory * many-valued logics
Kód oboru RIV: AA - Filosofie a náboženství

Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů.

Formal game theory allows for an alternative view on logical systems: we can see verification of a certain statement as a game - formalized dialogue of two players. The rules of the game correspond to the properties of the system in the framework of which the statement is formalized. The article deals with the relation between properties of logical games and the number of truth values of the corresponding logical systems.
Trvalý link: http://hdl.handle.net/11104/0138342