试谈相干逻辑  

作　　者：张清宇 

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

出　　处：《哲学研究》1985年第10期48-54,共7页Philosophical Research

摘　　要：自从弗雷格以来,逻辑系统的研究已经得到了极其巨大的发展。这一巨大发展可以分成几个主要领域,其中之一就是非古典演算的发展,例如,路易士创立模态逻辑,卢卡西维奇和波斯特引进多值逻辑,布劳威倡导直觉主义逻辑。我们这里想要谈论的相干逻辑,也是一种非古典演算。相干逻辑是关于相干蕴涵的逻辑。相干蕴涵是顾及命题在内容上的联系的一种联结词。命题在内容方面的联系是具体而复杂多样的。

关 键 词：相干逻辑 直觉主义逻辑 多值逻辑 模态逻辑 逻辑系统 联结词 弗雷格 主要领域 演算 大发展 

分 类 号：B0[哲学宗教—哲学理论]