BOOK COVER -- HALF-TITLE -- TITLE -- COPYRIGHT -- DEDICATION -- CONTENTS -- NOTES ON CONTRIBUTORS -- PREFACE -- 1 PROOF AS A SOURCE OF TRUTH -- SUMMARY -- I. INTRODUCTION -- II. REFORMULATING THE TRUTH/PROOF PROBLEM -- III. HOW PROOFS ARE USED AND WHERE THE TRUTH/PROOF PROBLEM ARISES -- IV. HOW WORKING PROOFS WORK -- V. CONTACT WITH MATHEMATICAL OBJECTS -- VI. BEYOND DOT PROOFS -- VII. SUMMARY -- NOTES -- REFERENCES -- 2 REFLECTIONS ON THE CONCEPT OF A PRIORI TRUTH AND ITS CORRUPTION BY KANT* -- SUMMARY -- I -- II -- III -- IV -- V -- VI -- VII -- VIII -- IX -- X -- XI -- XII -- XIII -- XIV -- XV -- XVI -- XVII -- XVIII -- NOTES -- REFERENCES -- 3 LOGICISM -- SUMMARY -- I -- II -- III -- IV -- V -- VI -- VII -- VIII -- IX -- NOTES -- REFERENCES -- 4 EMPIRICAL INQUIRY AND PROOF -- SUMMARY -- I. INTRODUCTION -- II. PROOFS AND EXPERIMENTS: THE DISTINCTION -- III. THE PROOF/EXPERIMENT DISTINCTION: SUPPORTING EVIDENCE -- IV. AN ATTACK ON APRIORISM -- V. APRIORISM: WITTGENSTEIN'S DEFENSE -- NOTES -- REFERENCES -- 5 ON THE CONCEPT OF PROOF IN ELEMENTARY GEOMETRY -- SUMMARY -- I. ELEMENTARY SYNTHETIC VERSUS AXIOMATIZED AND ANALYTIC GEOMETRY -- II. THE PYTHAGOREAN PROGRAM AND EUDOXUS' PROPORTION THEORY -- III. FURTHER DEVELOPMENTS IN THE ARITHMETIZATION OF GEOMETRY -- IV. LOGICAL ANALYSIS OF ABSTRACT ENTITIES -- V. WHAT ARE IDEAL GEOMETRICAL FORMS? -- VI. PLANE SURFACES AND RECTANGULAR SOLIDS -- VII. WHY ARE GEOMETRICAL TRUTHS SYNTHETIC A PRIORI? -- VIII. MATHEMATICAL MODELS OF A BOUNDED ("FINITE") SPACE-TIME -- NOTES -- REFERENCES -- 6 MATHEMATICAL RIGOR IN PHYSICS -- SUMMARY -- NOTES -- REFERENCES -- 7 FOUNDATIONALISM AND FOUNDATIONS OF MATHEMATICS* -- SUMMARY -- I. VARIATIONS AND METAPHORS -- II. FOUNDATIONS AND PSYCHOLOGISM -- III. TWO CONCEPTIONS OF LOGIC -- Rationalism -- The semantic conception -- IV. MARRIAGE: CAN THERE BE HARMONY?.

V. DIVORCE: LIFE WITHOUT COMPLETENESS -- Joint custody -- Rationalism denied -- Deductive systems without rationalism -- VI. LOGIC AND COMPUTATION -- NOTES -- REFERENCES -- 8 BROUWERIAN INTUITIONISM* -- SUMMARY -- I. PRECIS -- II. POINCARE'S CONCERN -- III. CLASSICAL EPISTEMOLOGY -- IV. BROUWERIAN EPISTEMOLOGY -- V. INTUITIONISTIC LOGIC -- VI. CONCLUSION -- NOTES -- REFERENCES -- INDEX.