Počet záznamů: 1
Logické hry a pravdivostní hodnoty
- 1.
SYSNO ASEP 0047427 Druh ASEP K - Konferenční příspěvek (lokální konf.) Zařazení RIV Stať ve sborníku Název Logické hry a pravdivostní hodnoty Překlad názvu Logical games and truth values Tvůrce(i) Majer, Ondrej (FLU-F) RID, ORCID, SAI Zdroj.dok. Hra, věda a filosofie. - Praha : Filosofia, 2006 / Nosek J. - ISBN 80-7007-222-9
s. 231-240Poč.str. 10 s. Akce Hra, věda a filosofie Datum konání 04.11.2004-05.11.2004 Místo konání Praha Země CZ - Česká republika Typ akce CST Jazyk dok. cze - čeština Země vyd. CZ - Česká republika Klíč. slova logic ; game theory ; many-valued logics Vědní obor RIV AA - Filosofie a náboženství CEZ AV0Z90090514 - FLU-F (2005-2011) Anotace 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ů. Překlad anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2007
Počet záznamů: 1