Events of Institute of Philosophy AS CR
15. 10. 2015
–
16. 10. 2015
Konference
Vila Lanna, V sadech 1, Praha 6
07. 10. 2015
13.00
Kolokvium
FLÚ AV ČR, Jilská 1, Praha 1
Kognice mezi filosofií, psychologií a informatikou
Kolokvium se koná v rámci výzkumného tématu Struktury komunikace, jazyka a myšlení Strategie AV 21
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
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
07. 12. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
Introspekce a nástrahy konfabulace
Mgr. Filip Tvrdý, Ph.D., FF Univerzity Palackého v Olomouci
Logicko-filosofický seminář
30. 11. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
02. 11. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
Problém demarkácie
Miloš Taliga, FF Univerzity Mateja Bela v Banskej Bystrici
Logicko-filosofický seminář
12. 10. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
15. 10. 2015
–
16. 10. 2015
Seminář
AKC, Husova 4a, Praha 1
Pojem vědomí: jeho rozmanitost a jednota
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
