Innovating Works

PLEXUS

Financiado
Philosophical Logical and Experimental routes to substructurality
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 rad... 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. ver más
31/12/2026
UPNA
557K€
Duración del proyecto: 50 meses Fecha Inicio: 2022-10-18
Fecha Fin: 2026-12-31

Línea de financiación: concedida

El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-10-18
Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:
HORIZON-MSCA-2021-SE-01-01: MSCA Staff Exchanges 2021
Cerrada hace 2 años
Presupuesto El presupuesto total del proyecto asciende a 557K€
Líder del proyecto
UNIVERSIDAD DE NAVARRA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 847