underlineallarticles

Events of Institute of Philosophy AS CR


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

Read more ...


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

Read more ...


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ář

Read more ...


30. 11. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217

Logic for Inferentialist Expressivists

Ulf Hlobil

Logicko-filosofický seminář

Read more ...


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ář

Read more ...


12. 10. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217

Buddhismus a logika

Jiří Holba, Ph.D., Orientální ústav AV ČR

Logicko-filosofický seminář

Read more ...


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

Read more ...


16. 10. 2015
16.30
Kolokvium
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost CMS

Augustinova představa anamnese mezi Platonem a Plotinem

prof. Lenka Karfíková

Cyklus kolokvií k antické filosofii „work in progress"

Read more ...


29. 10. 2015
10.00
Seminář
CTS, Husova 4, Praha 1

Redundantní číselné soustavy

prof. RNDr. Petr Kůrka, CSc., CTS

Čtvrteční seminář CTS

Read more ...


05. 11. 2015
10.00
Seminář
CTS, Husova 4, Praha 1

Read more ...

Subcategories