22. 10. 2015
14.00
Přednáška
Ústav dějin umění, Husova 4, Praha 1, zased. m.
Constructive Type Theory III
Ansten Klev
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
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
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
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
04. 10. 2015
17.00
Přednáška
Pražská křižovatka, Zlatá ul., Praha 1
Black Earth: Some Problems in Political Theory in Relation to the Holocaust
prof. Timothy Snyder (Yale University, IWM)
Pořádají Centrum teoretických studií a Nadace Dagmar a Václava Havlových VIZE 97
24. 09. 2015
10.00
Série přednášek
AKC, Husova 4a, Praha 1
21. 09. 2015
15.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost
Inadvertently Created Fictional Characters Are Innocuous
Zsofia Zvolenszky, Eötvös Loránd University Budapest
24. 06. 2015
16.00
Přednáška
AKC, Husova 4a, Praha 1
Concepts: Negation, Mediation, and Criticism
Siyaves Azeri, Mardin Artuklu University, Turecko
Pořádá Oddělení pro studium moderní české filosofie
11. 06. 2015
10.30
Přednáška
FLÚ AV ČR, Jilská 1, Praha1, zasedací sál
Dějiny české raně novověké liturgie jako historický problém
Dr. Nicolas Richard, Fondation Thiers, Paris
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
