Truth through proof: a formalist foundation for mathematics

Truth through proof: a formalist foundation for mathematics

Weir, Alan

63,99 €(IVA inc.)

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. 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. INDICE: Introduction; 1: Metaphysics; 2: Ontological Reduction; 3: Neo-formalism; 4: Objections and Comparisons; 5: Applying Mathematics; 6: Proof Set in Concrete; 7: Idealisation Naturalised; 8: Logic; Conclusion; Appendix

  • ISBN: 978-0-19-954149-2
  • Editorial: Oxford University
  • Encuadernacion: Cartoné
  • Páginas: 304
  • Fecha Publicación: 14/10/2010
  • Nº Volúmenes: 1
  • Idioma: Inglés