Hilary Putnam on Logic and Mathematics. ([2018])
- Record Type:
- Book
- Title:
- Hilary Putnam on Logic and Mathematics. ([2018])
- Main Title:
- Hilary Putnam on Logic and Mathematics
- Further Information:
- Note: Editors, Geoffrey Hellman and Roy T. Cook.
- Editors:
- Hellman, Geoffrey
Cook, Roy T, 1972- - Contents:
- Intro; Preface; Contents; Editors and Contributors; 1 Memories of Hilary Putnam; Reference; 2 Bibliography of Hilary Putnam's Writings in Logic and Mathematics; Logic and the Philosophy of Logic; 3 Logic, Counterexamples, and Translation; 3.1 Introduction; 3.2 Logic and Quantum Mechanics; 3.3 The Argument for Empirical Logic Revision; 3.4 Disjunction(s) and Distributivity; 3.5 Falsity and Failure to Be True; 3.6 Some Final Observations on Logical Form; References; 4 Putnam's Theorem on the Complexity of Models; References; 5 Extendability and Paradox; 5.1 Introduction 5.2 The Burali-Forti Paradox5.3 Semantic Paradoxes; References; 6 The Metaphysics of the Model-Theoretic Arguments; 6.1 Epistemic Humility; 6.2 The Model-Theoretic Picture; 6.2.1 Reductio ad Absurdum; 6.3 The Skolemite Argument; 6.4 Just More Theory; 6.5 The Renunciation of the Notion of the `Thing in Itself'; References; 7 Normativity and Mechanism; 7.1 Putnam's Rejoinder; 7.2 Normatively Reflective Representations; 7.3 Escaping the Soundness Argument; 7.4 Ampliative Accumulation: Gödel; 7.5 Effectively Presented Non-monotonic Structures; 7.6 A Limitative Argument 7.7 Normative Status of Solvability7.8 Concluding Remarks; 8 Changing the Subject: Quine, Putnam and Waismann on Meaning-Change, Logic, and Analyticity; References; Mathematics, Foundations, and Philosophy of Mathematics; 9 Putnam on Foundations: Models, Modals, Muddles; 9.1 Putnam, Logic, and Foundations; 9.2 A View of His Sketch; 9.3 Modality andIntro; Preface; Contents; Editors and Contributors; 1 Memories of Hilary Putnam; Reference; 2 Bibliography of Hilary Putnam's Writings in Logic and Mathematics; Logic and the Philosophy of Logic; 3 Logic, Counterexamples, and Translation; 3.1 Introduction; 3.2 Logic and Quantum Mechanics; 3.3 The Argument for Empirical Logic Revision; 3.4 Disjunction(s) and Distributivity; 3.5 Falsity and Failure to Be True; 3.6 Some Final Observations on Logical Form; References; 4 Putnam's Theorem on the Complexity of Models; References; 5 Extendability and Paradox; 5.1 Introduction 5.2 The Burali-Forti Paradox5.3 Semantic Paradoxes; References; 6 The Metaphysics of the Model-Theoretic Arguments; 6.1 Epistemic Humility; 6.2 The Model-Theoretic Picture; 6.2.1 Reductio ad Absurdum; 6.3 The Skolemite Argument; 6.4 Just More Theory; 6.5 The Renunciation of the Notion of the `Thing in Itself'; References; 7 Normativity and Mechanism; 7.1 Putnam's Rejoinder; 7.2 Normatively Reflective Representations; 7.3 Escaping the Soundness Argument; 7.4 Ampliative Accumulation: Gödel; 7.5 Effectively Presented Non-monotonic Structures; 7.6 A Limitative Argument 7.7 Normative Status of Solvability7.8 Concluding Remarks; 8 Changing the Subject: Quine, Putnam and Waismann on Meaning-Change, Logic, and Analyticity; References; Mathematics, Foundations, and Philosophy of Mathematics; 9 Putnam on Foundations: Models, Modals, Muddles; 9.1 Putnam, Logic, and Foundations; 9.2 A View of His Sketch; 9.3 Modality and Mathematics; 9.4 Mathematics as Modal Logic; 9.5 Equivalent Descriptions; 9.6 Objections and Replies; 9.7 Contrasting Pictures; References; 10 Pragmatic Platonism; 10.1 Gödel's Platonism; 10.2 Gödel Incompleteness and the Metaphysics of Arithmetic 10.3 Infinity in the Seventeenth Century10.4 Putnam's Defense of ``Realism''; 10.5 Robustness of Formalism; 10.6 The Ontology of Mathematics; 10.7 Infinity Today; 10.8 Hilary Punam's ``Depressing Survey''; References; 11 Abstraction, Axiomatization and Rigor: Pasch and Hilbert; 11.1 Introduction; 11.2 Background; 11.3 Semantic Abstraction and Premisory Surreption; 11.4 Axiomatic Reasoning and Rigor in Hilbert; 11.5 Conclusion; References; 12 Concrete Mathematical Incompleteness: Basic Emulation Theory; 12.1 Introduction; 12.1.1 Basic Emulation Theory; 12.1.2 ON Q[0, 1] 12.2 General Maximal Emulation12.3 Maximal Emulation on Q[0, 1]; 12.3.1 ME Usability; 12.3.2 Finite Relations; 12.3.3 Large Relations; 12.3.4 Small Relations; 12.3.5 Exotic Proof; 12.3.6 r-Emulation; 12.4 General Conjectures; Appendix A: The Stationary Ramsey Property; Appendix B: Formal Systems Used; References; 13 Putnam's Constructivization Argument; 13.1 The Constructivization Argument; 13.2 Commentary and Criticisms; 13.3 Constructivization Revisited; 13.4 Critical Coordination; References; 14 Putnam on Mathematics as Modal Logic; 14.1 Introduction … (more)
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource
- Subjects:
- 191
Logic
Mathematics
PHILOSOPHY / History & Surveys / Modern
Logic
Mathematics
Electronic books - Languages:
- English
- ISBNs:
- 9783319962740
3319962744 - Related ISBNs:
- 9783319962733
3319962736 - Notes:
- Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (EBSCO, viewed December 11, 2018). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.380722
- Ingest File:
- 02_369.xml