Akce filosofického ústavu AV ČR
History of Bible Translation
15. 10. 2015
–
16. 10. 2015
Konference
Vila Lanna, V sadech 1, Praha 6
Kognice mezi filosofií, psychologií a informatikou
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
Constructive Type Theory III
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
Constructive Type Theory II
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
Constructive Type Theory I
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
Introspekce a nástrahy konfabulace
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ář
Logic for Inferentialist Expressivists
30. 11. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
Problém demarkácie
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ář
Buddhismus a logika
12. 10. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
Pojem vědomí: jeho rozmanitost a jednota
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
