15. 10.
–
16. 10. 2015
Konference
History of Bible Translation
Vila Lanna, V sadech 1, Praha 6
Pořádá Centrum biblických studií při FLÚ AV ČR a UK
15. 10. 2015
14.00
Přednáška
Constructive Type Theory II
Ansten Klev
Ansten Klev
FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
15. 10.
–
16. 10. 2015
Seminář
Pojem vědomí: jeho rozmanitost a jednota
AKC, Husova 4a, Praha 1
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
15. 10. 2015
10.00
Seminář
O Ukrajině a její současnosti
Jefim Fištejn
Jefim Fištejn
CTS, Husova 4, Praha 1
Čtvrteční seminář CTS
15. 10. 2015
14.00
Přednáška
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Petr Pavlas
Mgr. Petr Pavlas, Ph.D., Filozofická fakulta ZČU v Plzni
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
12. 10. 2015
15.50
Seminář
Buddhismus a logika
Jiří Holba
Jiří Holba, Ph.D., Orientální ústav AV ČR
FF UK, nám. Jana Palacha 2, m. č. 217
Logicko-filosofický seminář
8. 10. 2015
10.00
Přednáška
Constructive Type Theory I
Ansten Klev
Ansten Klev
FLÚ AV ČR, Jilská 1, Praha 1, zasedací m.
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
8. 10. 2015
15.00
Přednáška
Will Future Artificial Intelligence Threaten Mankind?
Andrew Woodfield
prof. Andrew Woodfield, University of Bristol
AKC, Husova 4a, Praha 1
Pořádá Oddělení analytické filosofie
7. 10. 2015
13.00
Kolokvium
Kognice mezi filosofií, psychologií a informatikou
FLÚ AV ČR, Jilská 1, Praha 1
Kolokvium se koná v rámci výzkumného tématu Struktury komunikace, jazyka a myšlení Strategie AV 21
4. 10. 2015
17.00
Přednáška
Black Earth: Some Problems in Political Theory in Relation to the Holocaust
Timothy Snyder
prof. Timothy Snyder (Yale University, IWM)
Pražská křižovatka, Zlatá ul., Praha 1
Pořádají Centrum teoretických studií a Nadace Dagmar a Václava Havlových VIZE 97
