----- 追溯动机:证据、结果与真理
GENERAL INTRODUCTION PART I. TRUTH 1. Truth and Truth Conditions 2. The Transcendence of Truth 3. Anaphorically Unrestricted Quantifiers 4. Regimentation and Paradox 5. The Inconsistency of Natural Languages CONCLUSION TO PART I PART II. MATHEMATICAL PROOF 6. The Uniqueness of Mathematics as a Social Practice 7. The Derivation-Indicator View of Mathematical Practice 8. How to Nominalize Formalism CONCLUSION TO PART II PART III. SEMANTICS AN THE NOTION OF CONSEQUENCE INTRODUCTION TO PART II 9. Semantics and the Notion of Consequence CONCLUSION TO PART III GENERAL CONCLUSION BIBLIOGRAPHY INDEX
{{comment.content}}