Forcing in Contemporary Philosophy of Set Theory

Información del proyecto

Philosophy Forcing

Identificador del acuerdo de subvención: 752211

DOI

10.3030/752211

Proyecto finalizado el 30 Abril 2018

Fecha de la firma de la CE 14 Marzo 2017

Fecha de inicio 1 Mayo 2017

Fecha de finalización 30 Abril 2019

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 171 460,80

Aportación de la UE

€ 171 460,80

Coordinado por

UNIVERSITAT KONSTANZ
Germany

Objetivo

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.

Ámbito científico (EuroSciVoc)

• ciencias naturales › matemáticas › matemáticas puras
• humanidades › filosofía, ética y religión › filosofía › historia de la filosofía › filosofía contemporánea

Palabras clave

• Philosophy of Science
• Philosophy of Mathematics
• Set Theory
• Forcing

Programa(s)

• H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions PROGRAMA PRINCIPAL
  
• H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
  

Tema(s)

• MSCA-IF-2016 - Individual Fellowships
  

Régimen de financiación

MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)

Convocatoria de propuestas

H2020-MSCA-IF-2016

Coordinador

UNIVERSITAT KONSTANZ

• Aportación neta de la UEn: € 171 460,80
• Dirección: UNIVERSITATSSTRASSE 10 ; 78464 Konstanz ; Alemania
• Región: Baden-Württemberg › Freiburg › Konstanz
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 171 460,80