Název:
Hry a význam logických spojek
Překlad názvu:
Games and the meaning of logical connectives
Autoři:
Majer, Ondrej Typ dokumentu: Příspěvky z konference Konference/Akce: Aktuální problémy logické a filosofické analýzy /8./, Pec pod Sněžkou (CZ), 2004-09-19 / 2004-09-22
Rok:
2005
Jazyk:
cze
Abstrakt: [cze][eng] Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.The main topic of the article is different understanding of logical connectives in logical systems (this is demonstrated on classical, intuitionistic and linear logic). The article focuses on the question how are the differences between the connectives captured in the game interpretation of the corresponding logical systems and on the adequacy of the game thoretical framework for characterising these differences.
Klíčová slova:
dialogical logic; game-theoretical semantics; logical connectives Číslo projektu: CEZ:AV0Z90090514 (CEP), GA401/04/0117 (CEP) Poskytovatel projektu: GA ČR Zdrojový dokument: Jazyk - logika - věda, ISBN 80-7007-212-1
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/0110072