第五十五期逸仙逻辑讲坛

题   目：Meta-classical non-transitive logics

主讲人：Eduardo Alejandro Barrio阿根廷布宜诺斯艾利斯大学 教授

主持人：文学锋探花合集 逻辑与认知研究所 教授

时   间：5月30日（星期六）下午15：00

地   点：锡昌堂322室

主办方：探花合集 逻辑与认知研究所

主讲人简介

Eduardo Barrio is Senior Researcher at the National Scientific and Technical Research Council (CONICET) and Full Professor of Logic at the University of Buenos Aires. His research lies at the intersection of philosophical, mathematical logic and AI, with a particular focus on non-classical logics, especially substructural frameworks, and on the study of metainferences and non-standard notions of logical consequence. He has directed and participated in international research projects funded by the National Endowment for the Humanities (USA), the British Academy (UK), the DAAD (Germany), the DFG (Germany), the ECOS program (France), and the EU Marie Skłodowska-Curie Actions, fostering sustained international collaboration. He is the director of BA-Logic, a research initiative devoted to contemporary logic. His work has appeared in leading journals such as Journal of Philosophical Logic, Review of Symbolic Logic, Studia Logica, Synthese, and Analysis, among others. He recently edited the volume Metainferences in Substructural Logics (Springer), which brings together central contributions on the role of metainferences within non-classical systems. He is also Associate Editor of Analysis (OUP).Eduardo Barrio，阿根廷国家科学技术研究委员会高级研究员、布宜诺斯艾利斯大学逻辑学教授。其研究聚焦哲学逻辑、数理逻辑与人工智能交叉领域，主攻非经典逻辑（尤以子结构逻辑体系为核心），并致力于元推理及非标准逻辑后承关系研究。Barrio教授主持及参与多项国际科研项目，资助机构包括美国人文基金会、英国学术院、德国学术交流中心、德国科学基金会、法国生态合作计划及欧盟玛丽・斯克沃多夫斯卡-居里行动计划，推动了长期稳定的国际学术合作。Barrio教授是布宜诺斯艾利斯逻辑学研究计划（BA-Logic）负责人，该计划专注于当代逻辑学前沿研究。其学术成果发表于《哲学逻辑期刊》《符号逻辑评论》《逻辑学研究》《综合》《分析》等国际顶尖期刊。近期主编《子结构逻辑中的元推理》一书，汇集了非经典逻辑体系下元推理研究的核心成果，同时担任牛津大学出版社期刊《分析》副主编。

讲座摘要 

This talk develops the notion of meta-classical non-transitive logics, focusing on systems that preserve classical behavior at the level of inferences while exhibiting failures of transitivity at the level of metainferences. After presenting several arguments suggesting that any external notion of consequence is inherently Tarskian, I propose introducing a primitive entailment connective to internally capture such failures of transitivity. This strategy allows for the preservation of a classical, transitive consequence relation at the global level while representing non-transitive behavior within the object language. I then explore a range of alternative entailments, evaluating their formal properties and their consequences for the theory of logical consequence.