Philosophical, Logical, and Experimental routes to substructurality

Información del proyecto

PLEXUS

Identificador del acuerdo de subvención: 101086295

DOI

10.3030/101086295

Fecha de la firma de la CE 18 Octubre 2022

Fecha de inicio 1 Enero 2023

Fecha de finalización 31 Diciembre 2026

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 556 600,00

Coordinado por

UNIVERSIDAD DE NAVARRA
Spain

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Documents, reports (4)

MI Inventory

This deliverable is the inventory result of the four-phase process of conceptualization, design, pretesting and debriefing of the metainferences inventory (tasks 3.1 to 3.4) together with a technical report on this research process.

Intermediate tech. report WP1

This deliverable is a technical report on the progress in tasks: 1.1. Identity criteria for logical theories,1.2. Contributions to proof-theoretic semantics in relation to radically substructural logics and metainferences,1.3. Metainferential hierarchies and the interpretation of sequents; metainferential substructurality: philosophical perspectives.

Intermediate technical report WP2

This deliverable is a technical report on the results in tasks: 1.1. Analysis of metainferential validity: proof-theoretic and model-theoretic characterizations, hierarchies of metainferential logics, and duality,1.3. Applications of substructural logic to reasoning under uncertainty.As well as a technical report in the progress in task,1.2. Applications of substructural and radically substructural logics to theories of truth and paradox.

Dissemination and Communication Plan

This deliverable includes the dissemination and communication plan for the PLEXUS project internal communication as well as dissemination of the action how to reach the different target audiences

Data Management Plan (1)

Data Management Plan

Data management plan

Publicaciones

Peer reviewed articles (32)

$$\textsf{ST}$$ and $$\textsf{TS}$$ as Product and Sum

Autores: Quentin Blomet, Paul Égré
Publicado en: Journal of Philosophical Logic, Edición 53, 2024, ISSN 0022-3611
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive

Autores: Fiore, Camillo
Publicado en: Australasian Journal of Logic, Edición 21/2, 2024, ISSN 1448-5052
Editor: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics

Autores: Barrio, E.; Fiore, C.; Pailos, F.
Publicado en: The Review of Symbolic Logic, Edición 17/4, 2024, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/S175502032400011X

Sequent Calculi for First-order $$\textrm{ST}$$

Autores: Francesco Paoli, Adam Přenosil
Publicado en: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter

Autores: Plebani, Matteo; Spolaore, Giuseppe
Publicado en: Philosophical Studies, Edición 181, 2024, ISSN 0031-8116
Editor: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language

Autores: Barrio, Eduardo; Bezerra, Edson
Publicado en: Asian Journal of Philosophy, Edición 3, 2024, ISSN 2731-4642
Editor: Springer
DOI: 10.1007/s44204-024-00140-3

A defense of Isaacson’s thesis, or how tomake sense of the boundaries of finitemathematics

Autores: Dopico, Pablo
Publicado en: Synthese, Edición 203, 2024, ISSN 0039-7857
Editor: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy

Autores: Paul Égré, Lorenzo Rossi, Jan Sprenger
Publicado en: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Editor: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic

Autores: Fiore, Camillo; Rosenblatt, Lucas
Publicado en: Mind, Edición 132/527, 2023, ISSN 0026-4423
Editor: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory

Autores: Emma Van Dijk, David Ripley, Julian Gutierrez
Publicado en: Bulletin of the Section of Logic, Edición 52, 2023, ISSN 2449-836X
Editor: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter

Autores: Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Publicado en: Principia. An International Journal of Epistemology, Edición 29/2, 2025, ISSN 1808-1711
Editor: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Autores: Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
Publicado en: Logic and Logical Philosophy, 2024, ISSN 2300-9802
Editor: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.029

A cut-free modal theory of consequence

Autores: Edson Bezerra
Publicado en: Asian Journal of Philosophy, Edición 4, 2024, ISSN 2731-4642
Editor: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale

Autores: Paul Égré
Publicado en: Revue de métaphysique et de morale, Edición N° 122, 2024, ISSN 0035-1571
Editor: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies

Autores: Dicher, Bogdan
Publicado en: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Editor: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence

Autores: Nicolai, Carlo; Rossi, Lorenzo
Publicado en: Studia Logica, Edición 111, 2023, ISSN 0039-3215
Editor: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics

Autores: Federico Pailos
Publicado en: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Editor: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic

Autores: Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Publicado en: Studia Logica, Edición 112/6, 2024, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic

Autores: Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Publicado en: The Review of Symbolic Logic, Edición 17/3, 2023, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox

Autores: Lucas Rosenblatt
Publicado en: Analysis, 2024, ISSN 0003-2638
Editor: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic

Autores: Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Publicado en: Journal of Philosophical Logic, Edición 54, 2025, ISSN 0022-3611
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic

Autores: Szmuc, Damian
Publicado en: Analysis, 2023, ISSN 0003-2638
Editor: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus

Autores: Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Publicado en: Logic Journal of the IGPL, Edición 33(3), 2025, ISSN 1367-0751
Editor: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis

Autores: Luca Incurvati, Carlo Nicolai
Publicado en: Erkenntnis, 2024, ISSN 0165-0106
Editor: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective

Autores: Álvarez Lisboa, Miguel
Publicado en: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Editor: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes

Autores: Bruni, Riccardo; Rossi, Lorenzo
Publicado en: Journal of Philosophical Logic, Edición 52, 2023, ISSN 0022-3611
Editor: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox

Autores: Rosenblatt, Lucas
Publicado en: Analysis, Edición 84(3), 2024, ISSN 0003-2638
Editor: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic

Autores: Cobreros, Pablo; Grábalos, Isabel; Toranzo Calderón, Joaquín; Viñeta, Javier; Zirattu, Martina
Publicado en: Studia Logica, 2025, ISSN 1572-8730
Editor: Springer
DOI: 10.1007/S11225-024-10166-6

Multilateral Supervaluationism and Classicality

Autores: Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Publicado en: Journal of Philosophical Logic, Edición 54, 2025, ISSN 0022-3611
Editor: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively

Autores: Fiore, Camillo
Publicado en: Journal of Philosophical Logic, Edición 53/6, 2024, ISSN 0022-3611
Editor: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional

Autores: Iacona, Andrea; Rossi, Lorenzo
Publicado en: Journal of Philosophical Logic, Edición 53, 2024, ISSN 0022-3611
Editor: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk

Autores: Fiore, Camillo
Publicado en: Analysis, 2023, ISSN 0003-2638
Editor: Oxford University Press
DOI: 10.1093/analys/anad049

Other (2)

On Classical Determinate Truth

Autores: Castaldo, L., Nicolai, C.
Publicado en: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream

Autores: Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Publicado en: arXiv:2407.14766 [cs.LG], 2024
DOI: 10.48550/arXiv.2407.14766

Conference proceedings (3)

Un traitement hybride du vague textuel: du système expert VAGO à son clone neuronal

Autores: Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Publicado en: 2023

HYBRINFOX at CheckThat! 2024 – Task 2: Enriching BERT Models with the Expert System VAGO for Subjectivity Detection

Autores: Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Publicado en: 2024
Editor: Conference and Labs of the Evaluation Forum (CLEF 2024)
DOI: 10.48550/ARXIV.2407.03770

Measuring vagueness and subjectivity in texts: from symbolic to neural VAGO

Autores: Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Publicado en: 2023
Editor: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Book chapters (3)

Paradoxes, Contradictions and Circularity

Autores: Eduardo Barrio, Bruno Da Ré, Miguel Álvarez Lisboa
Publicado en: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_5

Paradoxes, Hypodoxes, and More

Autores: Camila Gallovich, Lucas Rosenblatt
Publicado en: Synthese Library, Paradoxes Between Truth and Proof, 2024
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth

Autores: Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
Publicado en: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_10