Philosophical, Logical, and Experimental routes to substructurality

Informations projet

PLEXUS

N° de convention de subvention: 101086295

DOI

10.3030/101086295

Date de signature de la CE 18 Octobre 2022

Date de début 1 Janvier 2023

Date de fin 31 Decembre 2026

Financé au titre de

• Marie Skłodowska-Curie Actions (MSCA)

Coût total

Aucune donnée

Contribution de l’UE

€ 556 600,00

Coordonné par

UNIVERSIDAD DE NAVARRA
Spain

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

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

Publications

Peer reviewed articles (32)

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

Auteurs: Quentin Blomet, Paul Égré
Publié dans: Journal of Philosophical Logic, Numéro 53, 2024, ISSN 0022-3611
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive

Auteurs: Fiore, Camillo
Publié dans: Australasian Journal of Logic, Numéro 21/2, 2024, ISSN 1448-5052
Éditeur: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics

Auteurs: Barrio, E.; Fiore, C.; Pailos, F.
Publié dans: The Review of Symbolic Logic, Numéro 17/4, 2024, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/S175502032400011X

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

Auteurs: Francesco Paoli, Adam Přenosil
Publié dans: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter

Auteurs: Plebani, Matteo; Spolaore, Giuseppe
Publié dans: Philosophical Studies, Numéro 181, 2024, ISSN 0031-8116
Éditeur: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language

Auteurs: Barrio, Eduardo; Bezerra, Edson
Publié dans: Asian Journal of Philosophy, Numéro 3, 2024, ISSN 2731-4642
Éditeur: Springer
DOI: 10.1007/s44204-024-00140-3

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

Auteurs: Dopico, Pablo
Publié dans: Synthese, Numéro 203, 2024, ISSN 0039-7857
Éditeur: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy

Auteurs: Paul Égré, Lorenzo Rossi, Jan Sprenger
Publié dans: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Éditeur: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic

Auteurs: Fiore, Camillo; Rosenblatt, Lucas
Publié dans: Mind, Numéro 132/527, 2023, ISSN 0026-4423
Éditeur: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory

Auteurs: Emma Van Dijk, David Ripley, Julian Gutierrez
Publié dans: Bulletin of the Section of Logic, Numéro 52, 2023, ISSN 2449-836X
Éditeur: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter

Auteurs: Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Publié dans: Principia. An International Journal of Epistemology, Numéro 29/2, 2025, ISSN 1808-1711
Éditeur: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Auteurs: Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
Publié dans: Logic and Logical Philosophy, 2024, ISSN 2300-9802
Éditeur: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.029

A cut-free modal theory of consequence

Auteurs: Edson Bezerra
Publié dans: Asian Journal of Philosophy, Numéro 4, 2024, ISSN 2731-4642
Éditeur: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale

Auteurs: Paul Égré
Publié dans: Revue de métaphysique et de morale, Numéro N° 122, 2024, ISSN 0035-1571
Éditeur: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies

Auteurs: Dicher, Bogdan
Publié dans: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Éditeur: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence

Auteurs: Nicolai, Carlo; Rossi, Lorenzo
Publié dans: Studia Logica, Numéro 111, 2023, ISSN 0039-3215
Éditeur: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics

Auteurs: Federico Pailos
Publié dans: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

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

Auteurs: Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Publié dans: Studia Logica, Numéro 112/6, 2024, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic

Auteurs: Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Publié dans: The Review of Symbolic Logic, Numéro 17/3, 2023, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox

Auteurs: Lucas Rosenblatt
Publié dans: Analysis, 2024, ISSN 0003-2638
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic

Auteurs: Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Publié dans: Journal of Philosophical Logic, Numéro 54, 2025, ISSN 0022-3611
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic

Auteurs: Szmuc, Damian
Publié dans: Analysis, 2023, ISSN 0003-2638
Éditeur: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus

Auteurs: Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Publié dans: Logic Journal of the IGPL, Numéro 33(3), 2025, ISSN 1367-0751
Éditeur: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis

Auteurs: Luca Incurvati, Carlo Nicolai
Publié dans: Erkenntnis, 2024, ISSN 0165-0106
Éditeur: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective

Auteurs: Álvarez Lisboa, Miguel
Publié dans: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Éditeur: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes

Auteurs: Bruni, Riccardo; Rossi, Lorenzo
Publié dans: Journal of Philosophical Logic, Numéro 52, 2023, ISSN 0022-3611
Éditeur: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox

Auteurs: Rosenblatt, Lucas
Publié dans: Analysis, Numéro 84(3), 2024, ISSN 0003-2638
Éditeur: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic

Auteurs: Cobreros, Pablo; Grábalos, Isabel; Toranzo Calderón, Joaquín; Viñeta, Javier; Zirattu, Martina
Publié dans: Studia Logica, 2025, ISSN 1572-8730
Éditeur: Springer
DOI: 10.1007/S11225-024-10166-6

Multilateral Supervaluationism and Classicality

Auteurs: Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Publié dans: Journal of Philosophical Logic, Numéro 54, 2025, ISSN 0022-3611
Éditeur: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively

Auteurs: Fiore, Camillo
Publié dans: Journal of Philosophical Logic, Numéro 53/6, 2024, ISSN 0022-3611
Éditeur: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional

Auteurs: Iacona, Andrea; Rossi, Lorenzo
Publié dans: Journal of Philosophical Logic, Numéro 53, 2024, ISSN 0022-3611
Éditeur: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk

Auteurs: Fiore, Camillo
Publié dans: Analysis, 2023, ISSN 0003-2638
Éditeur: Oxford University Press
DOI: 10.1093/analys/anad049

Other (2)

On Classical Determinate Truth

Auteurs: Castaldo, L., Nicolai, C.
Publié dans: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream

Auteurs: Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Publié dans: 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

Auteurs: Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Publié dans: 2023

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

Auteurs: Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Publié dans: 2024
Éditeur: 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

Auteurs: Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Publié dans: 2023
Éditeur: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Book chapters (3)

Paradoxes, Contradictions and Circularity

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

Paradoxes, Hypodoxes, and More

Auteurs: Camila Gallovich, Lucas Rosenblatt
Publié dans: Synthese Library, Paradoxes Between Truth and Proof, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth

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