你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Truth Through Proof: A Formalist Foundation for Mathematics
Type
Physical Book
Publisher
Author
Year
2010
Language
English
Pages
256
Format
Hardcover
ISBN
0199541493
ISBN13
9780199541492
Edition No.
1
Categories

Truth Through Proof: A Formalist Foundation for Mathematics

Alan Weir (Author) · Oxford University Press · Hardcover

Truth Through Proof: A Formalist Foundation for Mathematics - Alan Weir

Cheaper New Book Imported to Taiwan
Delivery: 02 Nov - 13 Nov Shipping: 16 to 20 business days.
NT$ 5,556
Faster New Book Imported to Taiwan
Delivery: 16 Oct - 26 Oct Shipping: 5 to 6 business days.
NT$ 5,600
NT$ 5,556

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Truth Through Proof: A Formalist Foundation for Mathematics "

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews