Opendata, web and dolomites

Philosophy Forcing TERMINATED

Forcing in Contemporary Philosophy of Set Theory

Total Cost €


EC-Contrib. €






Project "Philosophy Forcing" data sheet

The following table provides information about the project.


Organization address
postcode: 78464

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Project website
 Total cost 171˙460 €
 EC max contribution 171˙460 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2016
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2017
 Duration (year-month-day) from 2017-05-01   to  2019-04-30


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITAT KONSTANZ DE (KONSTANZ) coordinator 171˙460.00


 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.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PHILOSOPHY FORCING" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "PHILOSOPHY FORCING" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

NaWaTL (2020)

Narrative, Writing, and the Teotihuacan Language: Exploring Language History Through Phylogenetics, Epigraphy and Iconography

Read More  

EVENTS (2020)

Affective work-related daily events, and changing characteristics of the work context: New challenges for management practices to deliver employees’ well-being and workplace performance

Read More  

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More