Proof, Logic and Formalization
Edited by Michael Detlefsen
List Price: $135.00
Add to Cart- ISBN: 978-0-415-02335-1
- Binding: Hardback
- Published by: Routledge
- Publication Date: 01/09/1992
- Pages: 256
- Trim Size: 216X138
Recommend this title to a librarian using our Librarian Recommendation Form.
About the Book
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.You may also be interested in:
Epistemic Logic in the Later Middle Ages
Epistemic Logic studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely...
Published 10/28/1993 | 978-0-415-05726-4
more information about Epistemic Logic in the Later Middle Ages