23 June 2025, Philosophy of Mathematics (Φ-Math) Reading Group

This time our classmates, Matteo and Josje, will present Panu Raatikainen’s Conceptions of truth in intuitionism.

We often summarize the intuitionist notion of truth as “truth as provability”, which marks a fundamental difference with the classical logicians. But in doing so, we overlook the fact that there are multiple competing conceptions of truth within intuitionism itself. Raatikainen presents a systematic overview of these different accounts, ranging from actualist to possibilist, and ultimately offers a critique of each, putting in question about the coherence of the intuitionist framework as a whole.