Events of Institute of Philosophy AS CR
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
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
Introspekce a nástrahy konfabulace
Logicko-filosofický seminář
Problém demarkácie
Logicko-filosofický seminář
Pojem vědomí: jeho rozmanitost a jednota
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
Augustinova představa anamnese mezi Platonem a Plotinem
Cyklus kolokvií k antické filosofii „work in progress"
„Učiňme člověka ke svému obrazu.“ Mýtus o stvoření umělé bytosti v proměnách času a literárních žánrů
Čtvrteční seminář CTS