SubsidieMeestersConstruction in the Formal Sciences
C-FORS aims to revolutionize the foundations of mathematics and philosophy by applying a new constructional approach to intensional entities, addressing longstanding paradoxes and fostering interdisciplinary research.
Projectdetails
Introduction
The notion of construction figures centrally in mathematics and other formal sciences. An idealized, infinitary constructional approach is successfully applied to set theory, which provides the foundation for contemporary mathematics. C-FORS aims to develop new, similarly groundbreaking applications of the constructional approach. This will be the largest concerted effort to date to develop a foundation for the study of intensional entities, e.g. propositions and properties, where a variety of paradoxes still arise, with no agreed-upon solution nearly a century after set theory received its proper foundation.
Challenges in Infinitary Constructions
However, infinitary constructions are poorly understood, and there is no known way to apply the constructional approach to intensional entities. C-FORS aims to overcome these limitations by developing a critical but liberal conception of construction inspired by my increasingly popular potentialist metaphysics and philosophy of mathematics.
Theoretical Tools
C-FORS utilizes two theoretical tools developed by me, inspired by constructive mathematics, but only recently generalized so as to overcome various limitations and thus permit novel applications.
Groundbreaking Applications
C-FORS makes a range of groundbreaking applications of these tools, thus achieving a lasting impact on several disciplines:
- Philosophy: I provide radical alternatives to the currently fashionable use of typed languages and exotic non-classical logics.
- Foundations of Mathematics: I develop a pioneering constructional approach that retains the strength of set theory while incorporating insights from the constructive tradition.
- Formal Ontology: I launch a rigorous approach to constructed entities.
- Formal Semantics: I develop novel theories of propositions and properties, and a new logical foundation for the study of nominalization and group formation.
Interdisciplinary Research
Overall, C-FORS offers pioneering interdisciplinary research where philosophy and logic yield—and are themselves constrained by—novel applications to the formal sciences.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 2.023.956 |
| Totale projectbegroting | € 2.023.956 |
Tijdlijn
| Startdatum | 1-1-2023 |
| Einddatum | 31-12-2027 |
| Subsidiejaar | 2023 |
Partners & Locaties
Projectpartners
- UNIVERSITETET I OSLOpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
MANUNKIND: Determinants and Dynamics of Collaborative ExploitationThis project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery. | ERC STG | € 1.497.749 | 2022 | Details |
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressureThe UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance. | ERC STG | € 1.498.280 | 2022 | Details |
Uncovering the mechanisms of action of an antiviral bacteriumThis project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function. | ERC STG | € 1.500.000 | 2023 | Details |
The Ethics of Loneliness and SociabilityThis project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field. | ERC STG | € 1.025.860 | 2023 | Details |
MANUNKIND: Determinants and Dynamics of Collaborative Exploitation
This project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery.
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressure
The UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance.
Uncovering the mechanisms of action of an antiviral bacterium
This project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function.
The Ethics of Loneliness and Sociability
This project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Foundations of transcendental methods in computational nonlinear algebraDevelop new computational methods in nonlinear algebra using algebraic geometry to enhance the precision and reliability of numerical integration and algebraic invariant computation. | ERC STG | € 1.393.312 | 2022 | Details |
The Formal Turn - The Emergence of Formalism in Twentieth-Century ThoughtThis project aims to provide an interdisciplinary study of the emergence and implications of formalism in early 20th-century science and logic through historical and comparative analyses. | ERC COG | € 1.987.840 | 2022 | Details |
Definable Algebraic TopologyThis project aims to enhance algebraic topology and coarse geometry by integrating Polish covers with homological invariants, leading to new classification methods and insights in mathematical logic. | ERC STG | € 989.395 | 2023 | Details |
Logic and Automata over Sequences with DataThe project aims to overcome undecidability in automata theory over infinite alphabets by developing new decidable models and algorithms for analyzing data languages, with applications in graph databases, program verification, and machine learning. | ERC COG | € 1.998.956 | 2023 | Details |
Foundations of transcendental methods in computational nonlinear algebra
Develop new computational methods in nonlinear algebra using algebraic geometry to enhance the precision and reliability of numerical integration and algebraic invariant computation.
The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought
This project aims to provide an interdisciplinary study of the emergence and implications of formalism in early 20th-century science and logic through historical and comparative analyses.
Definable Algebraic Topology
This project aims to enhance algebraic topology and coarse geometry by integrating Polish covers with homological invariants, leading to new classification methods and insights in mathematical logic.
Logic and Automata over Sequences with Data
The project aims to overcome undecidability in automata theory over infinite alphabets by developing new decidable models and algorithms for analyzing data languages, with applications in graph databases, program verification, and machine learning.