Recently Viewed

New

Truth Through Proof: A Formalist Foundation for Mathematics by Alan Weir 9780199541492

No reviews yet Write a Review
RRP: £89.00
Booksplease Price: £71.77
Booksplease saves you 19%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9780199541492
MPN:
9780199541492
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 4 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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 Goedel 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.

About the Author
Alan Weir is Head of the Department of Philosophy at the University of Glasgow. His main research interests have been in philosophy of logic and mathematics, but he has also written on philosophy of language, epistemology and the theory of perception.

Reviews
In this fascinating book, Weir defends a new account of what makes mathematical assertions objectively true or false. * Julian C. Cole, Philosophy in Review *



Book Information
ISBN 9780199541492
Author Alan Weir
Format Hardback
Page Count 296
Imprint Oxford University Press
Publisher Oxford University Press
Weight(grams) 606g
Dimensions(mm) 241mm * 163mm * 24mm

Reviews

No reviews yet Write a Review

Booksplease  Reviews