Logické hry a pravdivostní hodnoty

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F06%3A00047427" target="_blank" >RIV/67985955:_____/06:00047427 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Logické hry a pravdivostní hodnoty

Popis výsledku v původním jazyce

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ů.

Název v anglickém jazyce

Logical games and truth values

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Hra, věda a filosofie

ISBN

80-7007-222-9

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

231-240

Název nakladatele

Filosofia

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

4. 11. 2004

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—