Aphex 25:1-17 (2022)

Authors
John Burgess
Princeton University
Silvia De Toffoli
Linkoping University
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.
Keywords Rigor, Proof, Diagrams, Formalization
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What Numbers Could Not Be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
Reconciling Rigor and Intuition.Silvia De Toffoli - 2021 - Erkenntnis 86 (6):1783-1802.
Proofs and Refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
What Are Mathematical Diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.

View all 24 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Proof: Its Nature and Significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
Mathematical Rigor and Proof.Yacin Hamami - forthcoming - Review of Symbolic Logic:1-41.
Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
Mathematical Rigor in Physics.Mark Steiner - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. Routledge. pp. 158.
What Are Mathematical Diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
Proofs, Pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Hilbert Program of Formalism as a Working Philosophical Direction for Consideration of the Bases of Mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitaryj Zhurnalrossiiskii Gumanitarnyi Zhurnal 4 (6):534.
Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - forthcoming - Philosophers' Imprint.
Adding Academic Rigor to Introductory Ethics Courses Using Bloom’s Taxonomy.Casey Rentmeester - 2018 - International Journal of Ethics Education 3 (1):67-74.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Rigor; or, Stupid Uselessness.Geoffrey Bennington - 2012 - Southern Journal of Philosophy 50 (s1):20-38.

Analytics

Added to PP index
2022-07-03

Total views
94 ( #125,730 of 2,518,503 )

Recent downloads (6 months)
94 ( #7,732 of 2,518,503 )

How can I increase my downloads?

Downloads

My notes