Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

被引:2
|
作者
Wansing, Heinrich [1 ]
Omori, Hitoshi [2 ]
机构
[1] Ruhr Univ Bochum, Dept Philosophy1, Univ Str 150, D-44780 Bochum, Germany
[2] Tohoku Univ, Grad Sch Informat Sci, 6-3-09 Aoba,Aramaki Aza Aoba Ku, Sendai 9808579, Japan
基金
欧洲研究理事会;
关键词
Connexive logic; Connexivity; Connexivism; Contra-classicality; Negation; Conditional; Negation inconsistency; NATURAL DEDUCTION; BOETHIUS THESIS; NEGATION; CANCELLATION; EXTENSIONS;
D O I
10.1007/s11225-023-10082-1
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we will make clear the context to which the papers in this special issue on Frontiers of Connexive Logic belong and contribute.
引用
收藏
页码:1 / 35
页数:35
相关论文
共 50 条