The proje ct “Forcing: Concep tual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of mo dern set theory since the introduction of the forc ing technique both from a historical and philosoph ical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to in vestigate if and how the extensive use of the forc ing method brought about a conceptual change in se t theory; and in which ways this may influence the philosophy of set theory and the foundations of m athematics.
\n\nThe research group organis es a series of Networking Conferences with the goa l of reaching out to researchers from these differ ent areas. The second instalment will be devoted t o the topic of recent set theory as a bridge between mathematics and philosophy and focuse s on the interaction between mathematical and phil osophical arguments and views in set theory. Set t heory has long been both a mathematical discipline and a program with foundational motivations. It s eems that this dual character makes it a natural c rossway between mathematics and philosophy, possib ly more so than other mathematical disciplines.
\nWe welcome contributions whic
h
\n a) add to current discussions in the phil
osophy of set theory by relating philosophical and
mathematical arguments to one another; by working
out the philosophical import of set-theoretic res
ults; or by giving set-theoretic explications of p
hilosophical concepts;
\n b) question or uphol
d the relevance of philosophical arguments in set
theory.
\n c) analyse the mathematical and phi
losophical content of the concept "set-theore
tic practice" as used in recent set-theoretic
programs.
\n d) investigate how the inclusion
of alternative set theories impact the philosophy
of set theory.