Philosophical, Logical, and Experimental routes to substructurality

Informazioni relative al progetto

PLEXUS

ID dell’accordo di sovvenzione: 101086295

DOI

10.3030/101086295

Data della firma CE 18 Ottobre 2022

Data di avvio 1 Gennaio 2023

Data di completamento 31 Dicembre 2026

Finanziato da

• Marie Skłodowska-Curie Actions (MSCA)

Costo totale

Nessun dato

Contributo UE

€ 556 600,00

Coordinato da

UNIVERSIDAD DE NAVARRA
Spain

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

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

Pubblicazioni

Peer reviewed articles (32)

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

Autori: Quentin Blomet, Paul Égré
Pubblicato in: Journal of Philosophical Logic, Numero 53, 2024, ISSN 0022-3611
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive

Autori: Fiore, Camillo
Pubblicato in: Australasian Journal of Logic, Numero 21/2, 2024, ISSN 1448-5052
Editore: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics

Autori: Barrio, E.; Fiore, C.; Pailos, F.
Pubblicato in: The Review of Symbolic Logic, Numero 17/4, 2024, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/S175502032400011X

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

Autori: Francesco Paoli, Adam Přenosil
Pubblicato in: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter

Autori: Plebani, Matteo; Spolaore, Giuseppe
Pubblicato in: Philosophical Studies, Numero 181, 2024, ISSN 0031-8116
Editore: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language

Autori: Barrio, Eduardo; Bezerra, Edson
Pubblicato in: Asian Journal of Philosophy, Numero 3, 2024, ISSN 2731-4642
Editore: Springer
DOI: 10.1007/s44204-024-00140-3

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

Autori: Dopico, Pablo
Pubblicato in: Synthese, Numero 203, 2024, ISSN 0039-7857
Editore: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy

Autori: Paul Égré, Lorenzo Rossi, Jan Sprenger
Pubblicato in: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Editore: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic

Autori: Fiore, Camillo; Rosenblatt, Lucas
Pubblicato in: Mind, Numero 132/527, 2023, ISSN 0026-4423
Editore: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory

Autori: Emma Van Dijk, David Ripley, Julian Gutierrez
Pubblicato in: Bulletin of the Section of Logic, Numero 52, 2023, ISSN 2449-836X
Editore: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter

Autori: Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Pubblicato in: Principia. An International Journal of Epistemology, Numero 29/2, 2025, ISSN 1808-1711
Editore: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

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

A cut-free modal theory of consequence

Autori: Edson Bezerra
Pubblicato in: Asian Journal of Philosophy, Numero 4, 2024, ISSN 2731-4642
Editore: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale

Autori: Paul Égré
Pubblicato in: Revue de métaphysique et de morale, Numero N° 122, 2024, ISSN 0035-1571
Editore: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies

Autori: Dicher, Bogdan
Pubblicato in: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Editore: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence

Autori: Nicolai, Carlo; Rossi, Lorenzo
Pubblicato in: Studia Logica, Numero 111, 2023, ISSN 0039-3215
Editore: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics

Autori: Federico Pailos
Pubblicato in: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Editore: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

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

Autori: Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Pubblicato in: Studia Logica, Numero 112/6, 2024, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic

Autori: Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Pubblicato in: The Review of Symbolic Logic, Numero 17/3, 2023, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox

Autori: Lucas Rosenblatt
Pubblicato in: Analysis, 2024, ISSN 0003-2638
Editore: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic

Autori: Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Pubblicato in: Journal of Philosophical Logic, Numero 54, 2025, ISSN 0022-3611
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic

Autori: Szmuc, Damian
Pubblicato in: Analysis, 2023, ISSN 0003-2638
Editore: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus

Autori: Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Pubblicato in: Logic Journal of the IGPL, Numero 33(3), 2025, ISSN 1367-0751
Editore: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis

Autori: Luca Incurvati, Carlo Nicolai
Pubblicato in: Erkenntnis, 2024, ISSN 0165-0106
Editore: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective

Autori: Álvarez Lisboa, Miguel
Pubblicato in: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Editore: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes

Autori: Bruni, Riccardo; Rossi, Lorenzo
Pubblicato in: Journal of Philosophical Logic, Numero 52, 2023, ISSN 0022-3611
Editore: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox

Autori: Rosenblatt, Lucas
Pubblicato in: Analysis, Numero 84(3), 2024, ISSN 0003-2638
Editore: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic

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

Multilateral Supervaluationism and Classicality

Autori: Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Pubblicato in: Journal of Philosophical Logic, Numero 54, 2025, ISSN 0022-3611
Editore: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively

Autori: Fiore, Camillo
Pubblicato in: Journal of Philosophical Logic, Numero 53/6, 2024, ISSN 0022-3611
Editore: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional

Autori: Iacona, Andrea; Rossi, Lorenzo
Pubblicato in: Journal of Philosophical Logic, Numero 53, 2024, ISSN 0022-3611
Editore: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk

Autori: Fiore, Camillo
Pubblicato in: Analysis, 2023, ISSN 0003-2638
Editore: Oxford University Press
DOI: 10.1093/analys/anad049

Other (2)

On Classical Determinate Truth

Autori: Castaldo, L., Nicolai, C.
Pubblicato in: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream

Autori: Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Pubblicato in: 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

Autori: Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Pubblicato in: 2023

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

Autori: Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Pubblicato in: 2024
Editore: 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

Autori: Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Pubblicato in: 2023
Editore: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Book chapters (3)

Paradoxes, Contradictions and Circularity

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

Paradoxes, Hypodoxes, and More

Autori: Camila Gallovich, Lucas Rosenblatt
Pubblicato in: Synthese Library, Paradoxes Between Truth and Proof, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth

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