Forcing: Conceptual Change in the Foundations of Mathematics
Key facts
- Five-year research project (2018-2023) on the history and philosophy of recent set theory, with a focus on the forcing-technique.
- 3+ research group members led by PI Carolin Antos.
- Hosted at the University of Konstanz, Germany (Department of Philosophy and Zukunftskolleg).
- Funded by the Volkswagen Foundation through a Freigeist-Fellowship (1 Million Euros).
Overview
A scientific discipline’s concept shapes its very character, from directing its most basic research questions to influencing the methods it employs. Therefore the questions of how, why and with what consequences the concept of a discipline changes are very fundamental.
The research projects wants to show that such a change has taken place in the foundations of mathematics during the last decades. The specific case this project addresses, the so called forcing technique in set theory, is rather exceptional.
Firstly, its research subject has a special status: Set theory is a part of mathematics just like algebra, geometry or statistics, but at the same time it is much more, as it is generally regarded as the standard for the foundations of mathematics. As such, a conceptual change in set theory has far-reaching consequences in the foundations of mathematics and, possibly, in the foundations of the exact sciences.
Secondly, the research project proposes that the change happened in a peculiar fashion, namely without the practitioners of set theory realizing it. That this is indeed possible is due to the fact that the change of the paradigmatic concept came about not by embodying a new idea, but through the extensive use of a new technique by its practitioners. This creates a tension where the practitioners are already working in a new conceptual setting, while still “living” in the old one.
The project examines this change and its consequences by working in three fields: mathematics, philosophy, and history; therefore it constitutes both a multidisciplinary and an interdisciplinary endeavor.
Ultimately, it aims towards the first unified and comprehensive account of the forcing technique related to the foundations of mathematics.