Descripción del proyecto
Se desafían las leyes del razonamiento clásico
Se acepta que la lógica clásica (la lógica ideada por Frege en los albores de la lógica matemática moderna) ofrece una caracterización nítida de nuestro razonamiento en campos abstractos como las matemáticas. Sin embargo, la lógica clásica no parece adecuada con respecto a varios fenómenos como la vaguedad, los condicionales o las paradojas. Las lógicas subestructurales —lógicas en las que puede fallar alguna regla estructural, como el debilitamiento, la contracción o el intercambio— constituyen alternativas a la lógica clásica que han llamado mucho la atención de los lógicos durante el último decenio. En el proyecto PLEXUS, financiado con fondos europeos, se estudiarán estas lógicas, prestando especial interés a las «lógicas radicalmente subestructurales», esto es, lógicas no transitivas y no reflexivas. En concreto, su equipo investigará los principales retos filosóficos que plantean las lógicas radicalmente subestructurales, sus caracterizaciones de la teoría de la demostración y de la teoría de modelos y sus aplicaciones lógico-lingüísticas.
Objetivo
There is a large family of non-classical logics that fall under the heading of substructurality. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed “radically substructural logics”: non-transitive and non-reflexive reflexive logics as well as variants and hybrids of these obtained by metainferential ascent. The overall goal of PLEXUS is to advance the knowledge of radical substructural logics and deepen our understanding of the broader phenomenon of substructurality, by coordinating the efforts of researchers across the globe, across generations, and across traditions. We see our project characterised by the following concepts: integration, cross-fertilization and knowledge sharing.
This general objective is articulated in three objectives:
1. Philosophical Foundations: investigate the main philosophical challenges raised by radically substructural logics.
2. Logic and applications: investigate proof-theoretic and model theoretic characterizations of radically substructural logics and their logico-linguistic applications.
3. The Metainferences Inventory and Metainferences Prover: develop a tool to measure naïve reasoners' preferences on metainferences and implement an automatic metainferences prover.
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-SE - HORIZON TMA MSCA Staff Exchanges
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-2021-SE-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.
31080 PAMPLONA
España
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.