It is our pleasure to announce that starting this October 2020 the Department of Philosophy, University of Warsaw will host a new mathematical logic seminar devoted to formal truth theories and implicit commitments of foundational theories as well as their conceptual surroundings. At least until the end of the year, the seminar will be held utterly virtually on a bi-weekly basis. We have the following permanent link to seminar meetings:

If you wish to be put on the mailing list, please contact Mateusz Łełyk (mlelyk(at)

Upcoming talks

The next meeting of the seminar will take place in October. The speaker and the title TBA.