Embedded Files
This is the page for the FWF-funded research project Determinacy and Non-Classicality in Arithmetic (grant no. 10.55776/PAT2449425).
We study determinacy within arithmetic using tools from non-classical logic. It is our contention that a non-classical treatment of traditional theorems and arguments gives rise to mathematically interesting logical systems and has the potential to shed new light on classical philosophical questions about truth and reference.
The project is based at the University of Salzburg and runs from November 2025 to October 2029. The Principal Investigator is Julien Murzi, with Nuno Maia as a project team member.
On this page, we will publish project outputs as they become available.
News
News
Talks
Talks
September 2026, Nuno: 'What Do Sets Say About Dependence?', at 5th International Conference of the Italian Network for the Philosophy of Mathematics, University of Bologna.
October 2026, Julien: 'Truth and Paradox in Context', at 100 years of Born Rule. A normativist outlook on quantum rationality, IQOQI, Academy of Sciences Vienna.
December 2025, Julien: 'What Is Carnap’s Problem and How Can We Solve It?' (with B. Topey), at Fourth EuPhilo Conference, University of Padua.
December 2025, Julien: 'What Is Carnap’s Problem and How Can We Solve It?' (with B. Topey), at Language Group Meeting, Knowledge in Crisis, University of Salzburg.
November 2025, Nuno: 'What Do Sets Say About Dependence?', at New Work on the Philosophy of Mathematics, University of Bergen.
Page updated
Google Sites
Report abuse