|
2009
Publikace 2009:

|
V. Svoboda, J. Peregrin: Od jazyka k logice (Filozofický úvod do moderní logiky) Praha, Academia, 2009.
Kniha nabízí netradiční úvod do světa moderní logiky. Předkládá čtenáři řadu filozofických otázek, které se týkají východisek a cílů logických teorií a jejich formálních aparátů. Krok za krokem pak ukazuje, jak je logika geneticky spjata s přirozeným jazykem a jak se obrysy běžných i méně běžných logických systémů vynořují z reflexe toho, jak běžně odůvodňujeme svá tvrzení. Nabízí tak alternativu k rozšířené představě, podle níž je smyslem logiky zachycení nějakých velice abstraktních a velice fundamentálních zákonů, které vymezují pole působnosti rozumu. Čtenářsky přístupným, ale netriviálním způsobem otevírá cestu k pochopení klíčových pojmů i metod tzv. klasické logiky i nejvýznamnějších systémů neklasických logik. Může tak být užitečná jak pro čtenáře, kteří se chtějí s logikou seznámit, tak pro ty, kdo už mají toto seznámení za sebou, ale zajímají je otázky, jež učebnice logiky obvykle bez povšimnutí přecházejí.
|
|
M. Peliš (ed): Logica Yearbook 2008 Praha, College Publications, 2009.
Sborník příspěvků mezinárodní konference LOGICA 2008.
|
 |
|

|
O. Majer, A.-V. Pietarinen, T. Tulenheimo (eds.): Games: Unifying Logic, Language, and Philosophy Springer, 2009
This volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covering new technical results and examining the philosophical insights that these have yielded. Organized in four sections it offers a balanced mix of papers dedicated to the major trends in the field: the dialogical approach to logic, Hintikka-style game-theoretic semantics, game-theoretic models of various domains (including computation and natural language) and logical analyses of game-theoretic situations.
|
|
|
|
|