Journal
PHILOSOPHIA MATHEMATICA
Volume 23, Issue 3, Pages 295-310Publisher
OXFORD UNIV PRESS INC
DOI: 10.1093/philmat/nkv008
Keywords
-
Categories
Funding
- Caroline Elder Scholarship
- a St Andrews/Stirling Philosophy Scholarship
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available