Prago-Viennese Workshop on the Philosophy of Mathematics (December 11, 2017 - Prague, Czech Republic), co-organised by the Logic Department and the Centre for Formal Epistemology (Institute of Philosophy, Czech Academy of Sciences).

Prago-Viennese Workshop on the Philosophy of Mathematics (December 11, 2017 - Prague, Czech Republic), co-organised by the Logic Department and the Centre for Formal Epistemology (Institute of Philosophy, Czech Academy of Sciences).
The aim of the project is to develop a formalization of epistemology analogous to Frege’s formalization of logic. The core of the project centres upon five theses setting out the path to a truly formal epistemology. These theses are based on the deeply-held belief that the current trend in the formalization of epistemology is insufficiently radical.