Studia Logica 96 (2):273-288 (2010)

Authors
Michele Friend
George Washington University
Abstract
In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof. Following Cellucci, we call the prevailing view the “axiomatic conception” of proof. The conception includes the ideas that: a proof is finite, it proceeds from axioms and it is the final word on the matter of the conclusion. This received view can be traced back to Frege, Hilbert and Gentzen, amongst others, and is prevalent in both mathematical text books and logic text books
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-010-9284-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,735
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

Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford University Press.
Models and Reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.
Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..

View all 17 references / Add more references

Citations of this work BETA

How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
Informal Proof, Formal Proof, Formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.

View all 9 citations / Add more citations

Similar books and articles

Teaching Proving by Coordinating Aspects of Proofs with Students' Abilities.Annie Selden & John Selden - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and Learning Proof Across the Grades: A K-16 Perspective. New York, USA: Routledge. pp. 339--354.
On Proving Too Much.Moti Mizrahi - 2013 - Acta Analytica 28 (3):353-358.
Is There a Metaphysical Proof of God's Existence?Piotr Moskal - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (2):167-175.
Moral Rules, Moral Ideals, and Use-Inspired Research.Jeffrey Kovac - 2007 - Science and Engineering Ethics 13 (2):159-169.
On the Burden of Proof.James Cargile - 1997 - Philosophy 72 (279):59 - 83.

Analytics

Added to PP index
2010-11-17

Total views
56 ( #183,802 of 2,432,437 )

Recent downloads (6 months)
1 ( #465,713 of 2,432,437 )

How can I increase my downloads?

Downloads

My notes