6. 11. 2015
13.00
Přednáška
Co je to jazyk a jak to funguje?
Jaroslav Peregrin
prof. RNDr. Jaroslav Peregrin, CSc., DSc.
AV ČR, Národní 3, Praha 1, velký sál
Týden vědy a techniky 2015
5. 11. 2015
15.00
Přednáška
Hume o nutnosti, svobodě a odpovědnosti
Tomáš Marvan
doc. Tomáš Marvan, PhD., FLŮ AV ČR
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost CMS
Pořádá Filosofický ústav AV ČR a Ústav státu a práva
5. 11. 2015
11.00
Přednáška
Můžeme brát hravé myšlení vážně?
Alice Koubová
Alice Koubová, Ph.D., Ph.D.
AV ČR, Národní 3, Praha 1, malý sál
Týden vědy a techniky 2015
2. 11. 2015
14.00
Diskuse
Praha jako globální město
Marek Hrubec, Milan Kreuzzieger
doc. PhDr. Marek Hrubec, Ph.D., PhDr. RNDr. Milan Kreuzzieger, Ph.D.
AKC, Husova 4a, Praha 1
Den otevřených dveří Filosofického ústavu AV ČR
22. 10. 2015
14.00
Přednáška
Constructive Type Theory III
Ansten Klev
Ansten Klev
Ústav dějin umění, Husova 4, Praha 1, zased. m.
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
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
