Non-mathematical Content by Mathematical Means

Download Edit this record How to cite View on PhilPapers
Abstract
In this paper, I consider the use of mathematical results in philosophical arguments arriving at conclusions with non-mathematical content, with the view that in general such usage requires additional justification. As a cautionary example, I examine Kreisel’s arguments that the Continuum Hypothesis is determined by the axioms of Zermelo-Fraenkel set theory, and interpret Weston’s 1976 reply as showing that Kreisel fails to provide sufficient justification for the use of his main technical result. If we take the perspective that mathematical results are used in the context of a modelling of something not necessarily mathematical, then the situation is clarified somewhat, and the procedure for arriving at justification for the use of such results becomes clear. I give an example of a particularly strong form this justification might take, using the idea of formalism independence due to Gödel and Kennedy.
PhilPapers/Archive ID
ADANCB
Upload history
Archival date: 2020-11-06
View other versions
Added to PP index
2020-11-06

Total views
47 ( #57,041 of 64,268 )

Recent downloads (6 months)
12 ( #44,198 of 64,268 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.