Proof in Mathematics
Quakers Hill Press (1996)
| Abstract | A textbook on proof in mathematics, inspired by an Aristotelian point of view on mathematics and proof. It explains how to prove statements in mathematics, from evident premises. It deals with the proof of "all" statements, "some" statements, multiple quantifiers and mathematical induction. | |||||||||
| Keywords | Proof | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
|
| Through your library | Configure |
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
P. R. Baxandall (ed.) (1978). Proof in Mathematics ("If", "Then" and "Perhaps"): A Collection of Material Illustrating the Nature and Variety of the Idea of Proof in Mathematics. University of Keele, Institute of Education.
Marian Mrozek & Jacek Urbaniec (1997). Evolution of Mathematical Proof. Foundations of Science 2 (1):77-85.
Andrew Wohlgemuth (1990/2011). Introduction to Proof in Abstract Mathematics. Dover Publications.
Bernhard Weiss (1997). Proof and Canonical Proof. Synthese 113 (2):265-284.
James Franklin (1996). Proof in Mathematics: An Introduction. Quakers Hill Press.
James Franklin (1987). Non-Deductive Logic in Mathematics. British Journal for the Philosophy of Science 38 (1):1-18.
Stewart Shapiro (2009). We Hold These Truths to Be Self-Evident: But What Do We Mean by That? Review of Symbolic Logic 2 (1):175-207.
A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
Andrew Arana (2010). Proof Theory in Philosophy of Mathematics. Philosophy Compass 5 (4):336-347.
Monthly downloads |
Added to index2010-12-22Total downloads13 ( #88,037 of 549,699 )Recent downloads (6 months)1 ( #63,425 of 549,699 )How can I increase my downloads? |

