PLEXUS: Philosophical, Logical, and Experimental routes to substructurality

PLEXUS：通往底层的哲学、逻辑和实验路线

• 批准号: EP/X038246/1
• 负责人: Carlo Nicolai
• 金额: $ 7.07万
• 依托单位: King's College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX038246%2F1
• 关键词: PLEXUS; Philosophical; Logical; Experimental; routes

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": nontransitive 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.

有一个大家族的非经典逻辑属于亚结构性的标题。在子结构家族的逻辑中，最近的哲学文献特别关注可以被称为“根本子结构逻辑”的东西：非传递和非自反的自反逻辑以及通过元推理上升获得的变体和混合体。PLEXUS的总体目标是通过协调地球仪、跨世代和跨传统的研究人员的努力，推进激进子结构逻辑的知识，加深我们对更广泛的子结构现象的理解。我们认为我们的项目的特点是以下概念：整合，交叉施肥和知识共享。这一总体目标体现在三个目标中：1.哲学基础：研究根本的次结构逻辑所提出的主要哲学挑战。逻辑与应用：研究根本亚结构逻辑的证据论和模型论特征及其逻辑语言学应用。3.元推理清单和元推理证明器：开发一个工具来测量朴素推理者对元推理的偏好，并实现一个自动元推理证明器。