A Problem with the Dependence of Informal Proofs on Formal Proofs

Philosophia Mathematica 23 (3):295-310 (2015)

Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkv008
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,955
Through your library

References found in this work BETA

The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Why Do We Prove Theorems?Y. Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
The Derivation-Indicator View of Mathematical Practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.

View all 24 references / Add more references

Citations of this work BETA

Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

View all 7 citations / Add more citations

Similar books and articles

Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Probabilistic Proofs and Transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Why Do We Prove Theorems?Y. Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
The Three Dimensions of Proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Non-Circular Proofs and Proof Realization in Modal Logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.


Added to PP index

Total views
40 ( #180,321 of 2,319,377 )

Recent downloads (6 months)
5 ( #272,343 of 2,319,377 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature