0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Philosophy of mathematics

Buy Now

Truth Through Proof - A Formalist Foundation for Mathematics (Hardcover) Loot Price: R2,340
Discovery Miles 23 400
You Save: R324 (12%)
Truth Through Proof - A Formalist Foundation for Mathematics (Hardcover): Alan Weir

Truth Through Proof - A Formalist Foundation for Mathematics (Hardcover)

Alan Weir

 (sign in to rate)
Was R2,664 Loot Price R2,340 Discovery Miles 23 400 | Repayment Terms: R219 pm x 12* You Save R324 (12%)

Bookmark and Share

Expected to ship within 12 - 17 working days

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.
Applications to projectivism and fiction pave the way for the claim that mathematical utterances are made true or false by the existence of concrete proofs or refutations, though these truth-making conditions form no part of their sense or informational content.
The position is compared with rivals, an account of the applicability of mathematics developed, and a new account of the nature of idealisation proffered in which it is argued that the finitistic limitations Godel placed on proofs are without rational justification. Finally a non-classical logical system is provided in which excluded middle fails, yet enough logical power remains to recapture the results of standard mathematics.

General

Imprint: Oxford UniversityPress
Country of origin: United Kingdom
Release date: October 2010
First published: December 2010
Authors: Alan Weir
Dimensions: 241 x 163 x 24mm (L x W x T)
Format: Hardcover
Pages: 296
ISBN-13: 978-0-19-954149-2
Categories: Books > Science & Mathematics > Mathematics > Philosophy of mathematics
Books > Humanities > Philosophy > Topics in philosophy > Metaphysics & ontology
Books > Humanities > Philosophy > Topics in philosophy > Epistemology, theory of knowledge
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Epistemology, theory of knowledge
Books > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Metaphysics & ontology
LSN: 0-19-954149-3
Barcode: 9780199541492

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Logic, Proof and Computation
Mark Tarver Paperback R494 Discovery Miles 4 940
The Scientific Counter-Revolution - The…
Michael John Gorman Hardcover R3,307 Discovery Miles 33 070
The Maths That Made Us - how numbers…
Michael Brooks Paperback R315 R252 Discovery Miles 2 520
Seven Eyes Open - A Study Of The…
Alexander James B. Connor Hardcover R892 Discovery Miles 8 920
Seven Eyes Open - A Study Of The…
Alexander J B Connor Hardcover R903 Discovery Miles 9 030
Quantum Theory Made Simple - Discover…
Theodore Giesselman Hardcover R555 Discovery Miles 5 550
Quantum Mechanics for Beginners…
Alexander Schlotterbeck Hardcover R756 R627 Discovery Miles 6 270
Quantum Theory Made Simple - Discover…
Theodore Giesselman Hardcover R605 Discovery Miles 6 050
The Equation of Knowledge - From Bayes…
Le Nguyen Hoang Hardcover R1,626 R1,396 Discovery Miles 13 960
Knowledge, Number and Reality…
Nils Kurbis, Bahram Assadian, … Hardcover R2,981 Discovery Miles 29 810
Badiou and Indifferent Being - A…
William Watkin Hardcover R2,987 Discovery Miles 29 870
Luck Theory - A Philosophical…
Nicholas Rescher Hardcover R2,016 Discovery Miles 20 160

See more

Partners