Informal proofs and mathematical rigour

Studia Logica 96 (2):261-272 (2010)
  Copy   BIBTEX

Abstract

The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9280-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 141,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Managing Informal Mathematical Knowledge: Techniques from Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
The dialectical tier of mathematical proof.Andrew Aberdein - 2011 - In Frank Zenker, Argumentation: Cognition & Community. Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA), May 18--21, 2011. OSSA.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala, The Logica Yearbook 2005. Filosofia. pp. 11-23.

Analytics

Added to PP
2010-11-17

Downloads
292 (#148,069)

6 months
16 (#700,578)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Marianna Antonutti Marfori
Marianna Antonutti Marfori
University of Paris 1 Panthéon-Sorbonne

Citations of this work

Audience role in mathematical proof development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.

View all 25 citations / Add more citations

References found in this work

Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
Visual Thinking in Mathematics.Marcus Giaquinto - 2007 - Oxford, GB: Clarendon Press.
The Philosophy of Mathematical Practice.Paolo Mancosu - 2009 - Studia Logica 92 (1):137-141.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.

View all 20 references / Add more references