Opiekun III roku (rekrutacja 2021).
`
W semestrze letnim 2023/24 konsultacje odbywają się w piątki w godzinach 15:00--16:30 w pokoju S519.
Jestem logikiem, a w mojej pracy naukowej interesuję się szeroko pojętymi zagadnieniami fundacyjnymi. Zajmuję się głównie teorią prawdy, zagadnieniami Goedlowskimi, a ostatnio również podstawami teorii mnogości.
Obecnie jestem wykonawcą w grancie Epistemic and Semantic Commitments of Foundational Theories: https://commitments-project.com i kieruję projektem Logiki wyższego rzędu a zjawisko absolutności w teorii mnogości.
2021 adiunkt w Instytucie Filozofii UG
2019-2021 adiunkt w Instytucie Matematyki PAN
2017-2019 asystent na Wydziale Matematyki, Informatyki i Mechaniki UW
2018 doktorat z filozofii, Uniwersytet Warszawski, promotor: Cezary Cieśliński
2015 magisterium z matematyki, Uniwersytet Warszawski, promotor: Alessandro Facchini
2013 magisterium z filozofii w ramach Kolegium MISH UW, promotor: Cezary Cieśliński
Członek Polskiego Towarzystwa Logiki i Filozofii Nauki http://logika.net.pl/
Członek European Society for the Philosophy of Mathematics https://philmath.eu/
2023 - Stypendium Ministra Nauki i Szkolnictwa Wyższego
2019 - Nagroda Betha za rozprawę doktorską
Interesuję się zagadnieniami fundacyjnymi w logice. Poniżej garść bardziej szczegółowych zagadnień:
Teoria prawdy, twierdzenie Goedla i okolice, systemy podstaw matematyki, modele arytmetyki, podstawy arytmetyki pierwszego i drugiego rzędu, podstawy teorii mnogości.
Manuskrypty większości moich publikacji można znaleźć w portalu ArXiV.
- „Compositional Truth with Propositional Tautologies and Quantifier-Free Correctness”,
praca zgłoszona do czasopisma, manuskrypt dostępny pod adresem
https://arxiv.org/abs/2011.06940
- ,,The Two Halves of Disjunctive Correctness", praca przyjęta w The Journal of Mathematical Logic, manuskrypt dostępny pod adresem https://arxiv.org/abs/2108.13718, praca wspólna z Cezarym Cieślińskim i Mateuszem Łełykiem
- „Satisfaction Classes, Definability, and Automorphisms”, Notre Dame Journal of Formal Logic 2022 63 (2), 143-163, manuskrypt dostępny pod adresem https://arxiv.org/abs/2104.09969
- „Topological Models of Arithmetic”, Fundamenta Mathematicae 2021, 256 ss. 171-193, praca wspólna z Alim Enayatem i
Joelem Davidem Hamkinsem
- „Disjunctions with Stopping Condition”, The Bulletin of Symbolic Logic 2021, 27 (3), 231-253, praca wspólna z Romanem Kossakiem
- „Local Collection and End-extensions of Models of Compositional Truth”, Annals of Pure
and Applied Logic 2021, 172(6), praca wspólna z Mateuszem Łełykiem
- „Truth and Feasible Reducibility”, The Journal of Symbolic Logic 2020, 85(1), ss. 367–421,
praca wspólna z Alim Enayatem i Mateuszem Łełykiem
- „Models of Positive Truth”, The Review of Symbolic Logic 2019, 12(1), ss. 144–172, praca
wspólna z Mateuszem Łełykiem
- „Notes on Bounded Induction for the Compositional Truth Predicate”, The Review of
Symbolic Logic 2017, 10(3), ss. 455–480, praca wspólna z Mateuszem Łełykiem
- „Models of PT– with internal induction for total formulae”, The Review of Symbolic Logic
2017, 10(1), ss. 187–202, praca wspólna z Cezarym Cieślińskim i Mateuszem Łełykiem
- „Models of Weak Theories of Truth”, The Archive for Mathematical Logic 2017, 56(5), ss.
453–474, praca wspólna z Mateuszem Łełykiem
- „Silne i słabe własności pojęcia prawdy”, Studia Semiotyczne 2016, 30(2), ss. 185–206,
praca wspólna z Mateuszem Łełykiem
