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
22. 10. 2015
10.00
Seminář
Měly by být tresty šity pachatelům na míru?
Josef Montag
Josef Montag, Provozně ekonomická fakulta Mendelovy univerzity v Brně
CTS, Husova 4, Praha 1
Čtvrteční seminář CTS
16. 10. 2015
16.30
Kolokvium
Augustinova představa anamnese mezi Platonem a Plotinem
Lenka Karfíková
prof. Lenka Karfíková
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost CMS
Cyklus kolokvií k antické filosofii „work in progress"
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
