# Non-mathematical Content by Mathematical Means

**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.

**Categories**

**PhilPapers/Archive ID**

ADANCB

**Upload history**

Archival date: 2020-11-06

View other versions

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.*