Book Search

1. Logic from A to Z

   The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

   By John B. Bacon, Michael Detlefsen, David Charles McCarty

   First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Over 500 entries include key terms found in the study of:* Logic:...

   Published April 21st 1999 by Routledge
2. Proof, Logic and Formalization

   Edited by Michael Detlefsen

   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...

   Published January 8th 1992 by Routledge
3. Proof and Knowledge in Mathematics

   Edited by Michael Detlefsen

   These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical...

   Published January 1st 1992 by Routledge