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
Visualizza e scarica il file PDF
AUTORI&AUTRICI
È 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).
È ricercatore in Logica e Filosofia della Scienza presso il Dipartimento delle Arti dell’Università di Bologna. Ha conseguito il dottorato in filosofia presso l’Università di Bologna mel 2014. È stata assegnista di ricerca presso il Dipartimento di Filosofia dell’Università di Bologna dal 2014 al 2019 e presso il Dipartimento di Filosofia dell’Università di Helsinki nel 2020. La sua ricerca si incentra sulle logiche non-classiche e sulla teoria strutturale della dimostrazione.
