# 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.