Synthese 196 (5):1863-1884 (
2019)
Copy
BIBTEX
Abstract
The paradox of phase transitions raises the problem of how to reconcile the fact that we see phase transitions happen in concrete, finite systems around us, with the fact that our best theories—i.e. statistical-mechanical theories of phase transitions—tell us that phase transitions occur only in infinite systems. In this paper we aim to clarify to which extent this paradox is relative to the mathematical framework which is used in these theories, i.e. classical mathematics. To this aim, we will explore the philosophical consequences of adopting constructive instead of classical mathematics in a statistical-mechanical theory of phase transitions. It will be shown that constructive mathematics forces certain ‘de-idealizations’ of such theories: talk of actually infinite systems is meaningless, there are no discontinuous functions, and—in a sense which will be clarified—constructive real numbers reflect our imperfect methods of determining the values of physical quantities. As such, so it will be argued, constructive mathematics offers a means to gain insight in the idealizations introduced in classical theories and the philosophical issues surrounding them.