![Reasoning Seminar "The Logical Necessity of Mathematics" Título, data e local do evento](https://ciencias.ulisboa.pt/sites/default/files/styles/destaque/public/cfcul-20abr23.png?itok=G4EkaxoO)
Por Chris Scambler (Oxford University).
In this talk I will articulate and defend a conception of logical necessity in higher order logic, and then outline a defence of the claim that the truths of arithmetic and set theory are logically necessary in the relevant sense. I will also discuss the significance of these results for the philosophy of mathematics and metaphysics.