Home| All Programs| Today added Progs| Download Status| Customers opinion| Helpdesk| Shopping cart

Program Search:

Shopping Cart:

*Note: Minimum order cost: €20
Maximum Total Price: €1500
We Recommend:
Truth Through Proof A Formalist Foundation for Mathematics Djvu eBook €1 buy download

Alan Weir, "Truth Through Proof: A Formalist Foundation for Mathematics"
English | 2010 | ISBN: 0199541493 | 256 pages | Djvu | 6,5 MB

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.

Download File Size:6.52 MB

Truth Through Proof A Formalist Foundation for Mathematics Djvu eBook
Customers who bought this program also bought:
  • The Geometry of Random Fields PDF eBook €1
  • Cakewalk SONAR Platinum with Plugins €40
  • Cakewalk SONAR Help Documentation €1
  • Cakewalk Loopmasters Content €1
  • Cakewalk Classic Creative FX €10
  • SideFX Houdini FX 15.5.673 x64 €20
  • IAR Embedded Workbench for RH850 version 1.30.2 x32 x64 €20
  • IAR Embedded Workbench for R32C version 1.40.2 x32 x64 €20
  • Allegorithmic Substance Designer €20
  • ActiveState Komodo IDE €20
  • Cakewalk Studio Instruments Suite €20
  • PTC Creo Illustrate 4.0 F000 x32 x64 (1 dvd) €20
  • Mathematics of Complexity and Dynamical Systems ed. by Robert A. Meyers PDF eBook €1
  • Numerical Mathematics and Advanced Applications PDF eBook €1
  • Nonlinear Oligopolies Stability and Bifurcations PDF eBook €1
  • Dynamical Systems I PDF eBook €1
  • An Invitation to C-Algebras PDF eBook €1
  • Measure, Topology, and Fractal Geometry (2nd edition) PDF eBook €1
  • An Introductory Course on Mathematical Game Theory DJVU eBook €1
  • Explaining Chaos PDF eBook €1
  • Continuum Theory & Dynamical Systems DJVU eBook €1
  • Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations DJVU eBook €1
  • Mentor Graphics Xpedition Enterprise VX.2.1 €50

  • Home| All Programs| Today added Progs| Download Status| Customers opinion| Helpdesk| Shopping cart      
    Copyright 2006-2020 ©   LPStore   All Rights Reserved

    Adobe Acrobat Pro DC 2020.006.20042 Multilingual €70

    Mathworks MATLAB R2019b 9.7.0 x64 (1 dvd) €100

    Adobe Acrobat DC 19.021.20061 for Mac €70

    Autodesk AutoCAD 2020 (1 dvd) €100


    SolidWorks 2020 SP2.0 Full Premium (1 dvd) €110

    Autodesk Revit 2020 Multilingual (1 dvd) €140


    Autodesk Product Design Suite Ultimate 2020 .sfx (x64) €250