Proof, Logic and Formalization

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.

List of contents

Contributors:
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser

About the author

Michael Detlefsen (Edited by)

Summary

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.

Additional text

'The two volumes edited by M.Detlefsen without doubt constitute an important and valuable reference for research on the very intricate network of concepts, theories and theses connected with the concept of proof.' - Erkenntnis

Product details

• Authors: Michael Detlefsen
• Assisted by: Michael Detlefsen (Editor), Detlefsen Michael (Editor)
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Paperback / Softback
• Released: 08.05.2015
• EAN: 9781138009073
• ISBN: 978-1-138-00907-3
• No. of pages: 256
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; PHILOSOPHY / Logic, Philosophy: logic