user

Systems for Non-Reflexive Consequence

被引：0
|
作者：
Carlo Nicolai
Lorenzo Rossi
机构：
[1] King’s College London,Department of Philosophy
[2] University of Turin,Center for Logic, Language, and Cognition (LLC), Department of Philosophy and Education Sciences
来源：
Studia Logica | 2023年 / 111卷
关键词：
Substructural logics; Non-reflexive logics; Naïve truth; Naïve consequence; Paradoxes; Primary 03F05; Secondary 03A99;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.
引用
收藏
页码：947 / 977
页数：30
相关论文
共 50 条
12345