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.
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.
- ciencias naturalesinformática y ciencias de la informacióningeniería del conocimientoontología
- ciencias naturalesmatemáticasmatemáticas purasmatemáticas discretaslógica matemática
- humanidadesfilosofía, ética y religiónfilosofíametafísica
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Régimen de financiación
HORIZON-AG - HORIZON Action Grant Budget-BasedInstitución de acogida
0313 Oslo
Noruega