Proof, logic, and formalization

by Michael Detlefsen. Michael Detlefsen.
 
Citation
Title:
Proof, logic, and formalization
Author:
Michael Detlefsen.
Editor:
Michael Detlefsen.
City:
Publisher:
Routledge
Year:
1992
Volume:
No. of Volumes:
Edition:
Pages:
241
Series Volume:
Series Editor:
Series Title:
Translator:
Language:
English
URL:
DOI:
LCCN:
91017469
OCLC Number:
License
Select License
ISBN:
0415023351
Last Updated:
September 1st, 2011
Abstract

Proof, Logic and Formalizationaddresses 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 entitledProof and Logic in Mathematicsis also available from Routledge.


Seller Condition Item Price Shipping Total Cost
AlibrisVery Good in Very Good jacket Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. x, 241 pp.US$ 88.00 US$ 3.50US$ 91.50
AlibrisNew Brand New, Original Book, Direct from Source, Express 5-8 Business days worldwide Delivery.US$ 143.46 US$ 3.50US$ 146.96
AlibrisNew. Sewn binding. Cloth over boards. 252 p. Contains: Illustrations, black & white.US$ 179.52 US$ 3.50US$ 183.02
AlibrisFair Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.US$ 210.74 US$ 3.50US$ 214.24
AlibrisNew Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.US$ 210.74 US$ 3.50US$ 214.24
  • Recommend Us