I am a philosopher at the University of Warsaw working in formal philosophy, where I use logic and metamathematics to investigate notions such as acceptance, truth, and rationality. My doctoral project develops a systematic account of the implicit commitments that formal theories carry across different modes of acceptance. I am currently Principal Investigator of an NCN OPUS grant on metatheoretic and intertheoretic reductions in the foundations of mathematics.
My webpage: https://macglowacki.github.io.