Přednášky
Praha jako globální město
Praha jako globální město
Den otevřených dveří Filosofického ústavu AV ČR
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
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
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
Constructive Type Theory I
Constructive Type Theory I
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
Koncepce člověka v díle J. A. Komenského
Koncepce člověka v díle J. A. Komenského
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
Přítomnost a budoucnost bádání v CTS
Will Future Artificial Intelligence Threaten Mankind?
Will Future Artificial Intelligence Threaten Mankind?
Pořádá Oddělení analytické filosofie