Philosophia Mathematica 16 (1):4-24 (2008)

Gregory Lavers
Concordia University
Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict between Carnap's use of informal notions and his principle of tolerance; so Carnap's definition of mathematical truth need not be formalistic. CiteULike    Connotea    What's this?
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkl015
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
On the Quinean-Analyticity of Mathematical Propositions.Gregory Lavers - 2012 - Philosophical Studies 159 (2):299-319.
The Parallel Structure of Mathematical Reasoning.Andrew Aberdein - 2012 - In Alison Pease & Brendan Larvor (eds.), Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012. Society for the Study of Artificial Intelligence and the Simulation of Behaviour. pp. 7--14.
Benacerraf’s Dilemma and Informal Mathematics.Gregory Lavers - 2009 - Review of Symbolic Logic 2 (4):769-785.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
85 ( #138,365 of 2,518,239 )

Recent downloads (6 months)
3 ( #206,034 of 2,518,239 )

How can I increase my downloads?


My notes