Skip to main content
SpringerLink
Log in

Informal Proofs and Mathematical Rigour

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Avigad J.: ‘Mathematical Method and Proof’. Synthese 53(1), 105–159 (2006)

    Article  Google Scholar 

  2. Avigad, J., E. Dean, and J. Mumma, ‘A formal system for Euclid’s Elements’, (unpublished draft).

  3. Azzouni J.: ‘Is there still a sense in which mathematics can have foundations?’. In: Sica, G. (ed.) Essays on the foundations of mathematics and logic, Polimetrica, Milano (2005)

    Google Scholar 

  4. Azzouni J.: Tracking Reason: Proof, Consequence and Truth. Oxford University Press, New York (2006)

    Google Scholar 

  5. Barwise J., Etchemendy J.: ‘Visual Information and Valid Reasoning’. In: Allwein, G., Barwise, J. (eds) Logical Reasoning with Diagrams, Oxford University Press, New York (1996)

    Google Scholar 

  6. Burge T.: ‘Computer Proof, Apriori Knowledge, and Other Minds: The Sixth Philosophical Perspectives Lecture’. Noûs 32(12), 1–37 (1998)

    Article  Google Scholar 

  7. Detlefsen M.: ‘Proof: Its Nature and Significance’. In: Gold, B., Simons, R.A. (eds) Proof and Other Dilemmas: Mathematics and Philosophy, The Mathematical Association of America, Washington, D.C. (2009)

    Google Scholar 

  8. Frege, G., The foundations of arithmetic, 1884. Translation by J. L. Austin (1953), Blackwell.

  9. Giaquinto M.: Visual Thinking in Mathematics. Oxford University Press, Oxford (2007)

    Book  Google Scholar 

  10. Horsten L., Douven I.: ‘Formal Methods in the Philosophy of Science’. Studia Logica 89(2), 151–162 (2008)

    Article  Google Scholar 

  11. Kreisel, G., ‘Informal rigour and completeness proofs’, in I. Lakatos, (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, 1967.

  12. Leitgeb H.: ‘On Formal and Informal Provability’. In: Bueno, O., Linnebo, Ø. (eds) New Waves in Philosophy of Mathematics, Palgrave Macmillan, New York (2009)

    Google Scholar 

  13. Mancosu, P. (ed.): The Philosophy of Mathematical Practice. Oxford University Press, Oxford (2008)

    Google Scholar 

  14. Myhill J.: ‘Some remarks on the notion of proof’. Journal of Philosophy 57(14), 461–471 (1960)

    Article  Google Scholar 

  15. Parsons C.: ‘Informal Axiomatisation, Formalisation and the Concept of Truth’. Synthese 27(1/2), 27–47 (1974)

    Article  Google Scholar 

  16. Rav Y.: ‘Why Do We Prove Theorems?’. Philosophia Mathematica 7(3), 5–41 (1999)

    Google Scholar 

  17. Tymoczko T.: ‘The Four-Color Problem and Its Philosophical Significance’. The Journal of Philosophy 76(2), 57–83 (1979)

    Article  Google Scholar 

  18. Wang H.: ‘On Formalisation’. Mind 64(254), 226–238 (1955)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Bristol, 9 Woodland Road, Bristol, BS8 1TB, UK

    Marianna Antonutti Marfori

Authors
  1. Marianna Antonutti Marfori
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marianna Antonutti Marfori.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Antonutti Marfori, M. Informal Proofs and Mathematical Rigour. Stud Logica 96, 261–272 (2010). https://doi.org/10.1007/s11225-010-9280-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9280-4

Keywords

Search

Navigation