Original title:
Logické hry a pravdivostní hodnoty
Translated title:
Logical games and truth values
Authors:
Majer, Ondrej Document type: Papers Conference/Event: Hra, věda a filosofie, Praha (CZ), 2004-11-04 / 2004-11-05
Year:
2006
Language:
cze Abstract:
[cze][eng] 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.
Keywords:
game theory; logic; many-valued logics Project no.: CEZ:AV0Z90090514 (CEP) Host item entry: Hra, věda a filosofie, ISBN 80-7007-222-9
Institution: Institute of Philosophy AS ČR
(web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences. Original record: http://hdl.handle.net/11104/0138342