Talks

June 2024. Axiomatic theories of supervaluationist truth: completing the picture. Logic Colloquium 2024, Gothenburg University, Sweden. 

June 2024. An axiomatic theory of truth for maximal consistent supervaluations and its reflective closure. 1st SNS-KCL Logic and Phil of Maths Meeting, Scuola Normale Superiore Pisa, Italy. 

September 2023. A rose by any other name: more super valuation-style truth without super valuations. British Logic Colloquium 2023, University of Bristol, UK.

June 2023. A rose by any other name: more super valuation-style truth without super valuations. Logic Colloquium 2023, Association of Symbolic Logic, University of Milan, Italy.

May 2023. Three recipes for supervaluational truth and the road to substructural supervaluations. PLEXUS Inaugural Conference, University of Lisbon, Portugal. 

September 2022. A defence of Isaacson’s thesis, or how to make sense of the boundaries of finite mathematics. European Summer School in the Philosophy of Mathematics, Konstanz University, Germany.

September 2022. Omnipotence revised. A temporal logic-based solution to the paradox of the stone. God, Time and Change – 23rd Biennial Conference, European Society for the Philosophy of Religion, University of Oxford, UK.

June 2022. Truth-theoretic determinacy revisited. Logic Colloquium 2022, Association of Symbolic Logic, Reykjavik University, Iceland.

December 2021. What’s so special about 𝜀0? Making sense of the boundaries of finite mathematics. 3rd Workshop on Proof Theory and its Applications, Kürt Gödel Society, University of Madeira, Portugal.

August 2021. Truth-theoretic determinacy revisited. ESSLLI 2021, Association for Logic, Language and Information, Online. Nominated for best short paper of the conference.

June 2021. Truth-theoretic determinacy revisited. Formal Philosophy Conference 2021, HSE Moscow, Russia.

May 2021. Is our natural number system indeterminate? Numerous Numerosity Workshop, Society for Multidisciplinary and Fundamental Research, Online.