Constructive Type Theory III
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
Měly by být tresty šity pachatelům na míru?
Čtvrteční seminář CTS
Redundantní číselné soustavy
Čtvrteční seminář CTS
„Česká otázka“ a dnešní doba
Konference u příležitosti 120. výročí vydání Masarykovy České otázky
Pořádají Katedra filosofie Fakulty filozofické Univerzity Pardubice, Oddělení pro studium moderní české filosofie FLÚ AV ČR, Ústav T. G. Masaryka a Masarykův ústav a Archiv AV ČR
Problém demarkácie
Logicko-filosofický seminář
Filosofie a sociální vědy
Pořádají Centrum globálních studií a Oddělení morální a politické filosofie AV ČR
Explorations in Baroque Philosophy
Pořádají Teologická fakulta JČU a Filosofický ústav AV ČR
Logic for Inferentialist Expressivists
Logicko-filosofický seminář
Power, Acceleration and Metrics in Academic Life
Pořádá Kabinet pro studium vědy, techniky a společnosti FLÚ AV ČR
Introspekce a nástrahy konfabulace
Logicko-filosofický seminář