Augustinova představa anamnese mezi Platonem a Plotinem
Cyklus kolokvií k antické filosofii „work in progress"
Constructive Type Theory II
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
Pojem vědomí: jeho rozmanitost a jednota
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
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
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
Will Future Artificial Intelligence Threaten Mankind?
Pořádá Oddělení analytické filosofie
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