Philosophy Forcing · Forcing in Contemporary Philosophy of Set Theory
Horizon 2020 — Marie Skłodowska-Curie Actions
- Duration
- 2017-05-01 → 2019-04-30
- EU contribution
- €171,461
- Participants
- 1
- Scheme
- MSCA-IF
Lines connect the coordinator with its partners.
Results in brief
Forcing in Contemporary Philosophy of Set Theory
This project is situated in the interdisciplinary field of research of the foundations of mathematics. Here we study the possibility of finding a comprehensive basis for mathematics working with mathematical and philosophical methods. In particular this project studies the impact the so-called forcing technique had on set theory. Since its introduction forcing changed set theory fundamentally and as set theory is one of the most prominent proposals for a foundation of mathematics such a change has mathematical and philosophical consequences for the foundations of mathematics. In this project we are addressing the question of how forcing impacts philosophical considerations and contributes to the current debate in the philosophy of set theory.
Data: CORDIS, © European Union
Project objective
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. Our 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 we 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. We will investigate how the different uses of forcing inform (or even determine) the philosophical upshot of the set-theoretical programs under consideration. Our 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 our 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.
Original text from CORDIS.
Participants
- UNIVERSITAT KONSTANZ · KonstanzCoordinatorGermany
Links
Data: CORDIS, © European Union