Descripción del proyecto
Establecimiento de las bases de las teorías unificadas de las nociones semánticas y la paradoja
Conceptos semánticos como verdad, validez y paradoja son elementos centrales de las investigaciones filosóficas y lógicas. Los enfoques que analizan los conceptos semánticos de forma individual, en lugar de global, han demostrado no ser adecuados. Sin embargo, establecer enfoques unificados que describan simultáneamente diversas nociones semánticas es un reto importante, que se complica aún más por conceptos que desafían el tratamiento formal, como la paradoja. El equipo del proyecto AXIOMS, que cuenta con el apoyo de las Acciones Marie Skłodowska-Curie, pretende abordar este reto estableciendo los fundamentos formales y filosóficos de las teorías unificadas de las nociones semánticas y la paradoja. Aspirando a desarrollar sistemas axiomáticos que modelicen su comportamiento, identificará qué principios formales de la paradoja son compatibles con las reglas clásicas o no clásicas de razonamiento y analizará cómo se interrelaciona la paradoja con otros conceptos fundamentales, como la verdad.
Objetivo
Semantic notions such as truth, validity, and paradoxicality are central to both philosophical and logical inquiries, shaping our understanding of language, meaning, and rationality. An approach studying semantic concepts individually, rather than globally, has proven insufficient. Developing unified systems describing multiple semantic notions simultaneously is a key and outstanding challenge in contemporary philosophical logic. This challenge is made particularly complex by concepts which are reluctant to formal treatment, like 'paradoxicality'. At present, it is unknown whether formal theories of paradoxicality can even be developed.
AXIOMS aims to address this challenge by providing formal and philosophical foundations for unified theories of semantic notions and paradoxicality. Specifically, the project seeks to pioneer the development of axiomatic systems modeling their behaviour. It will determine which formal principles for paradoxicality are consistent with various rules of reasoning, and it will investigate how paradoxicality interacts with other key notions, such as truth. Moreover, AXIOMS will explore the potential duality between paradoxicality and 'determinateness', a concept currently at the forefront of logical and philosophical research. This part of the project will be carried out under the supervision of Prof. Volker Halbach during a secondment at the University of Oxford.
The impact of AXIOMS extends beyond its immediate scope. It promises to (i) influence ongoing philosophical debates on topics such as classical recapture and (ii) serve as a critical step toward constructing formal and artificial systems capable of reasoning globally with diverse semantic information. For the researcher, the project offers an opportunity to deepen cross-disciplinary expertise, expand his publication record, and acquire a wide range of transferable skills, significantly enhancing his prospects for securing an ERC Starting Grant or a tenure-track position.
Á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.
La clasificación de este proyecto ha sido validada por personas.
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.
La clasificación de este proyecto ha sido validada por personas.
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.2 - Marie Skłodowska-Curie Actions (MSCA)
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-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
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) HORIZON-MSCA-2024-PF-01
Ver todos los proyectos financiados en el marco de esta convocatoriaCoordinador
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.