Logické hry a pravdivostní hodnoty

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

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