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. 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
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
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
24. 9. 2015
10.00
Série přednášek
Přítomnost a budoucnost bádání v CTS
AKC, Husova 4a, Praha 1
Série přednášek k 25. výročí založení CTS
21. 9. 2015
15.00
Přednáška
Inadvertently Created Fictional Characters Are Innocuous
Zsofia Zvolenszky
Zsofia Zvolenszky, Eötvös Loránd University Budapest
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost
24. 6. 2015
16.00
Přednáška
Concepts: Negation, Mediation, and Criticism
Siyaves Azeri
Siyaves Azeri, Mardin Artuklu University, Turecko
AKC, Husova 4a, Praha 1
Pořádá Oddělení pro studium moderní české filosofie
11. 6. 2015
10.30
Přednáška
Dějiny české raně novověké liturgie jako historický problém
Nicolas Richard
Dr. Nicolas Richard, Fondation Thiers, Paris
FLÚ AV ČR, Jilská 1, Praha1, zasedací sál
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
4. 6. 2015
16.00
Přednáška
Contested Legacies of the Late Middle Ages
Simon J. G. Burton
Dr. Simon J. G. Burton, University of Warsaw
FLÚ AV ČR, Jilská 1, Praha1, zasedací sál
