16. 10. 2015
16.30
Kolokvium
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost CMS
Augustinova představa anamnese mezi Platonem a Plotinem
prof. Lenka Karfíková
Cyklus kolokvií k antické filosofii „work in progress"
15. 10. 2015
–
16. 10. 2015
Konference
Vila Lanna, V sadech 1, Praha 6
15. 10. 2015
14.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS
Constructive Type Theory II
Ansten Klev
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
15. 10. 2015
–
16. 10. 2015
Seminář
AKC, Husova 4a, Praha 1
Pojem vědomí: jeho rozmanitost a jednota
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
15. 10. 2015
10.00
Seminář
CTS, Husova 4, Praha 1
15. 10. 2015
14.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Mgr. Petr Pavlas, Ph.D., Filozofická fakulta ZČU v Plzni
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
12. 10. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
08. 10. 2015
10.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zasedací m.
Constructive Type Theory I
Ansten Klev
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
08. 10. 2015
15.00
Přednáška
AKC, Husova 4a, Praha 1
Will Future Artificial Intelligence Threaten Mankind?
prof. Andrew Woodfield, University of Bristol
Pořádá Oddělení analytické filosofie
07. 10. 2015
13.00
Kolokvium
FLÚ AV ČR, Jilská 1, Praha 1
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
