Descripción del proyecto
El enfoque constructivo en las ciencias formales
Las ciencias formales —el estudio de los sistemas formales como los de las ramas de la lógica y las matemáticas— se basan en construcciones lógicas. El planteamiento constructivo, que se encuentra en la teoría de conjuntos, también puede aplicarse en cuatro ciencias formales: la filosofía, las matemáticas, la ontología formal y la semántica formal. En este contexto, en el proyecto financiado con fondos europeos C-FORS se desarrollarán aplicaciones nuevas e innovadoras de un planteamiento Esta investigación interdisciplinaria pionera superará las limitaciones de los planteamientos actuales. Este será el mayor esfuerzo concertado hasta la fecha para crear una base para el estudio de las entidades intensionales, por ejemplo, las proposiciones y las propiedades, en las que todavía surgen distintas paradojas sin solución, casi un siglo después de que la teoría de conjuntos recibiera una base adecuada.
Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información ingeniería del conocimiento ontología
- humanidades filosofía, ética y religión filosofía metafísica
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-ERC - HORIZON ERC Grants
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2021-ADG
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
0313 Oslo
Noruega
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.