Innovating Works

C-FORS

Financiado
Construction in the Formal Sciences
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 mathemat... 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. 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, and by using 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. C-FORS makes a range of groundbreaking applications of these tools, thus achieving a lasting impact on several disciplines. In philosophy, I provide radical alternatives to the currently fashionable use of typed languages and exotic non-classical logics. In the foundations of mathematics, I develop a pioneering constructional approach that retains the strength of set theory, while incorporating insights from the constructive tradition. I launch a rigorous approach to constructed entities in formal ontology. In formal semantics, I develop novel theories of propositions and properties, and a new logical foundation for the study of nominalization and group formation. Overall, C-FORS offers pioneering interdisciplinary research where philosophy and logic yield—and are themselves constrained by—novel applications to the formal sciences. ver más
31/12/2027
2M€
Duración del proyecto: 66 meses Fecha Inicio: 2022-06-01
Fecha Fin: 2027-12-31

Línea de financiación: concedida

El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-06-01
Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:
ERC-2021-ADG: ERC ADVANCED GRANTS
Cerrada hace 3 años
Presupuesto El presupuesto total del proyecto asciende a 2M€
Líder del proyecto
Innovasjon Norge No se ha especificado una descripción o un objeto social para esta compañía.