Silviu Velica (University of Bucharest)

Wednesday, 13 May 2020, 15.00 – 17.00 – ONLINE

The categoricity of arithmetic has long been a thorny problem in the philosophy of mathematics. While we do have plenty of formal results concerning categoricity (its impossibility in first-order logic, its triviality in full second-order logic etc.), there are reasons to doubt the philosophical significance of such results, pushing us to justify our choice of logic for arithmetic on grounds different from the mere formal derivations said logic is capable of. In this presentation, I will discuss some of the problems concerning the significance of formal results and briefly address these problems from the perspective of Independence-Friendly Logic.

The event is part of the project What are insights? by Andrei Mărășoiu, fellow of the ICUB Humanities, University of Bucharest.

For more details and access to the talk, please contact the organiser, Andrei Mărășoiu, at andrei.marasoiu@icub.unibuc.ro