Truth through proof : a formalist foundation for mathematics /

'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both...

Ausführliche Beschreibung

Gespeichert in:
Weitere Titel:
Formalist foundation for mathematics
1. Verfasser:
Weir, Alan J.
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Oxford : Oxford University Press, 2010.
Zusammenfassung:
'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
Umfang:
1 online resource (xiv, 281 pages) : illustrations
Anmerkungen:
English
Bibliografie:
Includes bibliographical references and index.
ISBN:
0-19-159491-1
0-19-954149-3
Schlagworte:
Mathematics > Philosophy.
Logic, Symbolic and mathematical.
Bezugswerke:
Links: