Reasoning Seminar
![](https://cfcul.ciencias.ulisboa.pt/wp-content/uploads/2023/03/RS-cartaz-2023-scambler-02.png)
Reasoning Seminar #23: “The Logical Necessity of Mathematics”
20 / 04 / 2023, 17:00 - 18:30
Ciências Ulisboa, Sala 8.2.12
Reasoning Seminar #23: “The Logical Necessity of Mathematics”
Orador: Chris Scambler (Oxford University)
Abstract 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.