Dear all,
We will have our next LIRa session tomorrow, on Thursday, 24 February 16:30.
Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984)
You can find the details of the talk below.
Speaker: Hannes Leitgeb (LMU Munich)
Date and Time: Thursday, February 24th 2022, 16:30-18:00, Amsterdam time.
Venue: online.
Title: A Finitistic Semantics for Mathematics
Abstract.
Is mathematics (arithmetic, analysis, set theory,...) committed to the existence of infinitely many objects? The aim of my talk will be to argue the answer is: No.
For that purpose, I will introduce a new semantics ("role semantics“) according to which mathematical statements can be understood as having only finite ontological commitments. I will assess the semantics, show that its properties are similar to those of standard Tarskian semantics, and hence conclude that there is not much disadvantage in interpreting mathematics by the new semantics. At the same time, the finitistic role semantics does not come with any epistemological benefit: if anything, our epistemic access to finitistic models of mathematics is mediated by standard infinitary ones.
Hope to see you there!
The LIRa team