+612 9045 4394
Proof, Logic and Formalization - Michael Detlefsen

Proof, Logic and Formalization

By: Michael Detlefsen (Editor)

Hardcover Published: 9th January 1992
ISBN: 9780415023351
Number Of Pages: 252

Share This Book:


RRP $561.99
or 4 easy payments of $97.31 with Learn more
Ships in 7 to 10 business days

Earn 779 Qantas Points
on this Book

"Proof, Logic and Formalization" addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the possibility of eliminating impredictive reasoning from proof.
Students and lecturers of philosophy, philosophy of logic, and philosophy of mathematics will find this to be essential reading. A companion volume entitled "Proof and Logic in Mathematics" is also available from Routledge.

Proof, Logic and Formalizationp. i
Notes on Contributorsp. ix
Prefacep. 1
Proofs About Proofs a Defense of Classical Logicp. 8
Proofs and Epistemic Structurep. 24
What is a Proof?p. 57
How to Say Things with Formalismsp. 77
Some Considerations on Arithmetical Truth and the -Rulep. 94
The Impredicativity of Inductionp. 139
Three Insufficiently Attended to Aspects of Most Mathematical Proofs: Phenomenological Studiesp. 162
On an Alleged Refutation of Hilbert's Program Using Gödel's First Incompleteness Theoremp. 199
Indexp. 236
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780415023351
ISBN-10: 0415023351
Audience: Tertiary; University or College
Format: Hardcover
Language: English
Number Of Pages: 252
Published: 9th January 1992
Country of Publication: GB
Dimensions (cm): 22.45 x 14.43  x 2.18
Weight (kg): 0.46
Edition Number: 1

Earn 779 Qantas Points
on this Book