• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Truth Through Proof: A Formalist Foundation for Mathematics

Truth Through Proof: A Formalist Foundation for Mathematics

Hardcover

LinguisticsLogic

ISBN10: 0199541493
ISBN13: 9780199541492
Publisher: Oxford University Press
Published: Dec 9 2010
Pages: 296
Weight: 1.32
Height: 0.90 Width: 6.40 Depth: 9.20
Language: English
Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth-valueless moves in a game. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This framework allows for sentences whose truth-conditions are not representational, which are made true or false by conditions residing in the circumstances of utterances but not transparently in the sense.

Also in

Logic