Název: Logické hry a pravdivostní hodnoty
Překlad názvu: Logical games and truth values
Autoři: Majer, Ondrej
Typ dokumentu: Příspěvky z konference
Konference/Akce: Hra, věda a filosofie, Praha (CZ), 2004-11-04 / 2004-11-05
Rok: 2006
Jazyk: cze
Abstrakt: [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.
Klíčová slova: game theory; logic; many-valued logics
Číslo projektu: CEZ:AV0Z90090514 (CEP)
Zdrojový dokument: Hra, věda a filosofie, ISBN 80-7007-222-9

Instituce: Filosofický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0138342

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-36048


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference