Truth Through Proof: A Formalist Foundation for Mathematics
Weir, AlanAuthor
Oxford : Oxford University Press,
2010.
'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.
Bibliographic Level Mode of Issuance: Monograph
'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.
Description based on print version record.
Includes bibliographical references and index.
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.
Mathematics
Logic, Symbolic and mathematical
Mathematics
Physical Sciences & Mathematics
Mathematical Theory