"Logica ludus"

Kód výsledku v IS VaVaI

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

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

"Logica ludus"

Popis výsledku v původním jazyce

V rámci nedávného vývoje v logice se do centra pozornosti dostávají souvislosti mezi logikou a teorií her a logické kalkuly začínají být nahlíženy jako prostředky vymezení určitých pravidel, v jejichž rámci pak hrajeme jisté ('odůvodňovací') hry, reprezentovatelné výroky příslušných kalkulů. Článek probírá dvě varianty takového 'herního' přístupu k logice: Hintikkovu herní sémantiku klasické logiky a Lorenzenovu dialogickou logiku.

Název v anglickém jazyce

"Logica ludus"

Popis výsledku anglicky

Recent development of logic has brought about an interest in the interconnections between logic and game theory. As a result, logical calculi have started to be seen as means of delimitation of certain rules, within the framework of which we then play certain games ('of justification'), represented by statements of the corresponding calculi. The paper discusses two variants of such 'game-theoretical' approach to logic: Hintikka's game-theoretical semantics of classical logic and Lorenzen's dialogic logic.

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

9

Strana od-do

203-211

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

—