相干逻辑的三种语义解释  

Three Semantic Interpretations for Relevance Logic

作　　者：贾青[1] Qing Jia(Institute of Philosophy,Chinese Academy of Social Sciences)

机构地区：[1]中国社会科学院哲学研究所逻辑研究室

出　　处：《逻辑学研究》2018年第3期44-57,共14页Studies in Logic

基　　金：国家社科基金重大项目(12&ZD119)

摘　　要：基本正系统B_+是若干相干逻辑正系统的基础,通过添加新的公理模式就能在B_+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley(1972)以及Routley和Meyer(1972)分别给出了B_+及其一系列扩充的代数语义和关系语义,Meyer和Routley(1972)还讨论了这两种语义之间的对应关系。本文中,我们将在引入周北海(1996a)、(1996b)中所创立的相干逻辑推理语义的基础上,给出B_+及其一系列扩充的推理语义解释,并进一步讨论相干逻辑正系统的推理语义与其他两种语义解释之间的对应关系问题。The basic positive system B+is a foundation for many positive systems in relevance logic.We could get a series of different systems via adding new axioms to B+.Meyer&Routley(1972)and Routley&Meyer(1972)constructed an algebraic semantics and a relational semantics for B+and its extensions respectively.Meyer&Routley(1972)even gave a correspondence relation between algebraic semantics and relational semantics.In this paper,based on the introduction of inference semantics,which is given by ZHOU Beihai(1996a),(1996b),we will give an inference semantics for B+and its extensions.After this,the correspondence relation between algebraic semantic,relational semantics and inference semantics will be given at the end of this paper.

关 键 词：相干逻辑 推理语义 代数语义 关系语义 

分 类 号：B81[哲学宗教—逻辑学]