About the project
We aim to undertake an integrated investigation of two clusters of questions, which have so far only been studied in isolation. The first cluster of questions concerns the theory of infinite sets, which is the standard foundation for nearly all of today’s mathematics. This foundation is threatened by various internal tensions and paradoxes, which have attracted much attention. The second cluster concerns intensional notion such as propositions, properties, and relations. Propositions, which represent the contents of beliefs and desires, are a central concern in linguistics, psychology, and philosophy.
Our overarching hypothesis is that real progress can only be made by means of a new synthesis, where the two clusters of questions are tackled in a unified way, thus bringing concepts and theories from each cluster to bear on the other one. To address the first cluster, we need to supplement standard set theory with intensional notions of collection, number, and generality. E.g., we can define a collection in terms of its membership condition rather than directly in terms of its members. Conversely, to develop satisfactory theories of intensional notions, we need to draw on concepts and ideas developed by some prominent critics of infinitary set theory (especially Poincaré, Brouwer, and Weyl). In short, real progress can only be made by an integrated investigation of the two clusters of questions.
In this way, we aim to develop
a new and distinctive approach to mathematics, which retains the theory of infinite sets but supplements it with intensional notions of collection, number, and generality
new theories of the intensional notions of proposition, property, and relation, of great significance for the foundations and philosophy of semantics and psychology.
More information about the project is available here.