Proof, Logic and Formalization

(ed.)
London, England: Routledge (1992)
  Copy   BIBTEX

Abstract

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

Categories

Keywords

Reprint years

2005, 2014, 2015

Call number

QA9.54.P77 1991

ISBN(s)

9781138009073   9780203980255   0415023351   9780415023351   9781134975280   9781134975273   9781134975235   9781134975259   1134975287   1138009075

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Proofs about Proofs: a defense of classical logic. Part I: the aims of classical logic.  (pages 8–23)John P. Burgess
Proofs and epistemic structure.  (pages 24)Glen Helman
What is a Proof?  (pages 57–76)Richard Tieszen
How to Say Things with Formalisms.  (pages 77--93)David Auerbach
Some considerations on arithmetical truth and the co-rule.  (pages 94)Daniel Isaacson
The impredicativity of induction.  (pages 139--161)Charles Parsons
Three insufficiently attended to aspects of most mathematical proofs.  (pages 162)Roberts Tragesser

Similar books and articles

M. DETLEFSEN "Proof, logic and formalization". [REVIEW]G. Heinzmann - 1994 - History and Philosophy of Logic 15 (1):138.
Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. [REVIEW]Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
Proof, logic and formalization, edited by Detlefsen Michael, Routledge, London and New York 1992, x + 241 pp. [REVIEW]Mark Steiner - 1993 - Journal of Symbolic Logic 58 (4):1459-1462.
Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.
Three insufficiently attended to aspects of most mathematical proofs.Roberts Tragesser - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 162.
What is a Proof?Richard Tieszen - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 57–76.

Analytics

Added to PP
2009-01-28

Downloads
130 (#169,980)

6 months
8 (#610,780)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Non-deductive methods in mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references