Truth through proof [electronic resource] : a formalist foundation for mathematics /
by Weir, Alan.
Material type:
BookPublisher: Oxford : Oxford University Press, 2010Description: 1 online resource (xiv, 281 p.) : ill.ISBN: 9780191594915 (ebook) :.Subject(s): Mathematics -- Philosophy | Logic, Symbolic and mathematicalOnline resources: Oxford scholarship online 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.
No physical items for this record
'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.
There are no comments for this item.