1 option
Truth Through Proof: A Formalist Foundation for Mathematics
- Format:
- Book
- Author/Creator:
- Weir, Alan, Author.
- Language:
- English
- Subjects (All):
- Mathematics--Philosophy.
- Mathematics.
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (xiv, 281 p.) : ill.
- Other Title:
- Truth through proof: a formalist foundation for mathematics
- Place of Publication:
- Oxford : Oxford University Press, 2010.
- Language Note:
- English
- Summary:
- 'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
- Contents:
- 1. Metaphysics
- 2. Ontological Reduction
- 3. Neo-formalism
- 4. Objections and Comparisons
- 5. Applying Mathematics
- 6. Proof Set in Concrete
- 7. Idealisation Naturalised
- 8. Logic.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Description based on print version record.
- Includes bibliographical references and index.
- Other Format:
- Print version
- ISBN:
- 0-19-159491-1
- 0-19-954149-3
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.