Akce filosofického ústavu AV ČR
Praha jako globální město
Praha jako globální město
Den otevřených dveří Filosofického ústavu AV ČR
Kognitivní definice Ježíška a Ježíšek jako pojmový blend
Kognitivní definice Ježíška a Ježíšek jako pojmový blend
Čtvrteční seminář CTS
Marx After Marxism: The Critique of Value in the Age of the iPhone
Marx After Marxism: The Critique of Value in the Age of the iPhone
Pořádá Oddělení pro studium moderní české filosofie
Význam Egona Bondyho pro současné myšlení
What Was Going On In Ljubljana? On Slavoj Žižek and His Contemporaries
What Was Going On In Ljubljana? On Slavoj Žižek and His Contemporaries
Pořádá Oddělení pro studium moderní české filosofie
Apriorní, syntetické a analytické od středověku po současnou filosofii
Apriorní, syntetické a analytické od středověku po současnou filosofii
Pořádají Filozofická fakulta UK a Filosofický ústav AV ČR
History of Bible Translation
Kognice mezi filosofií, psychologií a informatikou
Kognice mezi filosofií, psychologií a informatikou
Kolokvium se koná v rámci výzkumného tématu Struktury komunikace, jazyka a myšlení Strategie AV 21
Constructive Type Theory III
Constructive Type Theory III
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
Constructive Type Theory II
Constructive Type Theory II
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky