The Marie Sklodowska-Curie Fellowship finances the position of Carolin Antos-Kuby for the next two years starting May 2017.
Carolin (Dept. of Philosophy) has been a Brigde Fellow at the Zukunftskolleg since July 2016. We are very happy that she will remain an Associated Fellow of the Zukunftskolleg.
Her project "Forcing in Contemporary Philosophy of Set Theory" is on the interface between philosophy and mathematics. Forcing is one of the defining techniques of modern set theory. As of late its extensive and deep mathematical results and related foundational questions gained wider attention in the international debate in the philosophy of mathematics. This can be witnessed by the recent development of different research programs in the philosophy of set theory like the Multiverse or Hyperuniverse Program and the formation of new platforms for discussion like the newly founded Set Theoretic Pluralism network.
This project aims to provide a philosophical and mathematical contribution to the ongoing debate by delivering a systematic study of forcing and its philosophical implications. It starts from the new observation that not only the results of forcing but also the way these results are obtained is of vital importance for the philosophical implications of the mathematical work. Carolin's claim is that the method of forcing is not philosophically neutral; i.e. the different ways forcing is used by set theorists is one of the differentiating factors responsible for the philosophical conclusions drawn in the recent research programs.
In the first part of the project the research group will systematically examine the forcing technique, its mathematical uses and the influence forcing has on philosophical debates such as the multiverse versus universe view and ultimately the question of the search for new axioms. They will investigate how the different uses of forcing inform (or even determine) the philosophical upshot of the set-theoretical programs under consideration. The aim is to shed new light on the ongoing debate.
The second part is dedicated to introducing new types of forcing (class-forcing, forcing over non-ZFC models) into the current philosophical debate in order to strengthen the research group's case that the uses of forcing inform philosophical conclusions; further, these new types of forcing are put to use to counter and limit crucial generality claims on which some positions in the current debate rest.