http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1 online resource (xiv, 281 pages) : illustrations
'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.
Metaphysics -- Ontological reductionism -- Neo-formalism -- Objections and comparisons -- Applying mathematics -- Proof set in concrete -- Idealization naturalized -- Logic.
Includes bibliographical references and index.
Truth through proof : a formalist foundation for mathematics