一、广义归纳逻辑、广义模态逻辑与广义认知逻辑的交叉发展任何称之为理论的知识体系，都需要经过产生、发展、成熟与完善的过程。任何逻辑学理论亦如此。一般而言，我们可以把已经处于成熟与完善阶段的理论称之为经典......

从直观上看，模态逻辑①（modallogic）是研究“可能”（possibility）、“必然”（necessity）等模态算子（modaloperator）的逻辑。随着国内学界对模态逻辑研究热度的持......

悖论研究的困境斯蒂芬·里德曾这样谈及哲学家与悖论的关系：“悖论既是哲学家的惑人之物，又是他们的迷恋之物。悖论吸引哲学家就像光吸引蛾子一样。但同时，悖论又是不能忍受的。我们做出的各种努力必然是为了消除悖......

“逻辑真理是可错的，逻辑原则上是可修正的”（陈波，2000年，第217页；另参见1998年，第251、256、259页）①，这是陈波教授常常谈论的一个观点。在他最近发表的一篇文章中，他认为“逻辑和逻辑......

作为一个逻辑学术语，“亚相容”(para-consistent)是对“亚相容逻辑”(para-consistentlogic)的简称。亚相容逻辑创建的初衷是欲对现实中的“矛盾”关系进行逻辑刻画。随着亚......

一个多世纪前，皮尔斯就指出：“溯因推理是一个形成解释性假设的过程。它是唯一一种能够引入新观念的逻辑操作。”(Peirce,V,p.106)但他的有关思想在很长一段时间内没有引起足够的重视。直到20世纪......

在哲学文献中，逻辑规律即逻辑的真命题称为“逻辑真理”，涉及具体事实的真命题称为“事实真理”；前一种真理或命题又称为“分析的”，后一种真理或命题又称为“综合的”。逻辑真理与事实真理的关系问题，是逻辑哲学......

一被称为“南开学派”的学术群体，这种称呼当否另当别论，但它却说明“南开学派”有了自己的研究特色。如果承认中国逻辑史研究南开学派命名的合理性，那么其意指由温公颐先生开创的、崔清田先生继承和超越的、按照崔......

一　构建的必要性认知逻辑发展到上个世纪80年代中期，进入了一个新的阶段，其显著标志就是出现了包含多个认知算子的认知逻辑系统。这些认知算子有知道算子K、相信算子B、公共知识算子C、公共信念算子D等。我们......

一、引言谈到哥德尔不完全性定理，有人说它动摇了逻辑基础①，也有人说它揭示了逻辑的局限性（Dawson），甚至有人认为它表明数学的一致性不能证明（克莱因，第263—270页）。这些说法是否有充分的根据？......