Visite: 286
Abstract
Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.
Una dimostrazione rigorosa dovrebbe garantire che le premesse che vengono invocate implichino la conclusione raggiunta, e il problema del rigore consiste nel conciliare la prospettiva della logica formale e quella della pratica matematica su come ciò avvenga. Questo problema ha recentemente sollevato molte discussioni tra i filosofi della matematica. Esamineremo qui alcune possibili soluzioni e mostreremo che la mancata chiarezza sui termini del problema ha portato a incomprensioni nella letteratura.
Citazione
John P. Burgess e Silvia De Toffoli, “What Is Mathematical Rigor?”, in “APhEx 25”, 2022, pp. 17.
Numero della rivista
N° 25/2022-APhEx
È il John N. Woodhull Professor di filosofia all'Università di Princeton. È un logico e filosofo della matematica molto influente. Ha scritto diversi libri: A Subject with No Object (con G. Rosen, Oxford University Press, 1997), Computability and Logic (con G. Boolos e R. Jeffrey, 5a ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (con A.G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015) e Set Theory (Cambridge Elements, Forthcoming).
È ricercatrice in Logica e Filosofia della Scienza presso la Scuola Universitaria Superiore IUSS Pavia. De Toffoli ha conseguito due dottorati di ricerca: uno in matematica alla Technical University di Berlino (2013) e uno in filosofia alla Stanford University (2019). Prima di diventare ricercatrice alla Scuola IUSS è stata post-dottoranda nel dipartimento di filosofia all'Università di Princeton (2019-2022) e professore assistente in filosofia e Wallenberg Academy Fellow a Linköping University, Svezia (2022). La sua specializzazione è in filosofia della matematica ed epistemologia. Ha scritto numerosi articoli sui ruoli epistemologico dei diagrammi matematici e sulla gistificazione epistemica in mateamtica.