Descripción del proyecto
Explorar el significado a través de la lógica de la intensionalidad
Los conceptos intensionales, como la propiedad, la prueba, la posibilidad y la necesidad, conforman nuestra visión del mundo, pero dan lugar a paradojas que nunca se han resuelto. Estas paradojas ponen en entredicho las teorías del significado que se encuentran en el corazón de la filosofía y la lingüística. El equipo del proyecto GOOD INTENSIONS, financiado por el CEI, tiene como objetivo resolver las paradojas intensionales adoptando un método de lógica y lenguaje centrado en la demostración. Específicamente, en el proyecto se propone generar teorías bien fundamentadas y consistentes sobre la propiedad, la prueba, la posibilidad y la necesidad. A continuación se pondrán a prueba estas teorías, y se espera que los resultados allanen el camino hacia una mejor comprensión de la intensionalidad.
Objetivo
Intensional notions such as those of property, content, proof, possibility and necessity are central to philosophy, logic, mathematics and linguistics. However, these notions are threatened by paradoxes reminiscent of those that plagued the foundations of mathematics at the beginning of the XX century. And while a consensus has emerged over which shape a foundation of mathematics should take, the intensional paradoxes are still awaiting solution. Indeed, the intensional paradoxes affect the major theories of content that in recent years have brought about what has been hailed as a hyperintensional revolution, with many applications in philosophy and linguistics.
The GOOD INTENSIONS project aims to provide new philosophical, semantical and logical foundations for intensional notions, which will deliver a comprehensive and uniform solution to the intensional paradoxes. To achieve this, GOOD INTENSIONS will develop a fundamentally new approach to intensionality based on three ground-breaking ideas: a general, function-first approach to intensional talk, focused on its expressive role; a new, proof-theoretic approach to the semantics of intensional vocabulary; an original approach to the intensional paradoxes based on the use of intensional vocabulary in hypothetical contexts.
The resulting new approach to intensionality will be used to develop new theories and logics of properties, content, proof and modality which are philosophically and linguistically motivated, paradox-free and logically strong. As a proof of concept for the new approach to intensionality, the new theories and logics will be applied to central philosophical questions, such as the question of whether the mind is a machine and the question of realism about properties.
Based at the ILLC and advised by an international board of researchers, GOOD INTENSIONS will use an interdisciplinary methodology to revolutionize the study of intensionality.
Á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..
- humanidades lenguas y literatura lingüística
- ciencias sociales ciencias políticas transiciones políticas revoluciones
- humanidades filosofía, ética y religión filosofía
Para utilizar esta función, debe iniciar sesión o registrarse
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-2024-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.
1012WX Amsterdam
Países Bajos
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.