News!

Recent publications

Deflationism and the Function of Truth, Philosophical Perspectives (2019), with Thomas Schindler

Truth in a Logic of Formal Inconsistency: How classical can it get?, Logic Journal of the IGPL for the special issue "Recovery Operators and Logics of Formal Consistency & Inconsistencies" (2018) (the journal is to blame for typos and horrible notation discrepancies)

Reference in Arithmetic, Review of Symbolic Logic (2018), pp. 1-31, doi:10.1017/S1755020317000351 | PDF

Upcoming talks

May 27, 2019 Phil of Math Seminar, University of Oxford. Talk: A theory of untyped structured propositions.

Jun 13-14, 2019 LMC2019: Logic and Metaphysical Commitment, Haifa University. Talk: Mathematical internal realism and the problem of determinacy.

Jul 18-19, 2019 Philosophy of mathematics: logic, language, and methodology. Second Graduate Conference of the Italian Network for the Philosophy of Mathematics – FilMat, University Vita-Salute San Raffaele, Milan.

Jul 24, 2019 Central Topics in Logic Seminar, MCMP.

Dec 6, 2019 Department Colloquium, NYU.

Jan 8-11, 2020 Author Meets Critics Session on Tim Button and Sean Walsh The Philosophy of Model Theory, 2020 Eastern APA meeting, Philadelphia.

Very cool events I'm organising

May 30-31, 2019 Logic in London 1 - Workshop on Type-Free Concepts, University of London, co-organised with Carlo Nicolai. Invited speakers: Catrin Campbell-Moore, Andrea Cantini, Laura Crosilla, Oystein Linnebo, Beau Madison Mount, Thomas Schindler.

Jul 6-7, 2019 Circularity and Impredicativity, LMU Munich, co-organised with Timo Beringer and Thomas Schindler. Invited speakers: Jody Azzouni, Riccardo Bruni, Leon Horsten, Catrin Campbell-Moore, Andrea Cantini, Roy Cook, Thomas Hofweber, Edoardo Rivello.