Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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... ver más

31/12/2027

Innovasjon Norge

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

Innovasjon Norge No se ha especificado una descripción o un objeto social para esta compañía.

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-06-01

ERC-2021-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada hace 3 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

Innovasjon Norge

2.02M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

FFI2008-05859 LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI... 23K€ Cerrado

MTM2011-26840 TEORIA DE MODELOS Y APLICACIONES 47K€ Cerrado

FFI2017-84805-P LOGIC AND SUBSTRUCTURALITY 29K€ Cerrado

FFI2017-82878-P SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI... 15K€ Cerrado

MTM2016-74892-P LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 32K€ Cerrado

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

Duración del proyecto: 66 meses Fecha Inicio: 2022-06-01
Fecha Fin: 2027-12-31

Líder del proyecto

Innovasjon Norge No se ha especificado una descripción o un objeto social para esta compañía.

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores