Erkenntnis 19 (1-3):167 - 192 (1983)

It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00174780
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: 59,949
Through your library

References found in this work BETA

What Numbers Could Not Be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Mathematical Truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.
Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press;.
The Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press.

View all 15 references / Add more references

Citations of this work BETA

Non-Ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.

Add more citations

Similar books and articles


Added to PP index

Total views
63 ( #163,812 of 2,433,241 )

Recent downloads (6 months)
1 ( #462,722 of 2,433,241 )

How can I increase my downloads?


My notes