现代逻辑由众多的逻辑分支组成，各个分支有着自己的背景和发展动因，各个逻辑分支的相对独立发展成了逻辑研究的一道风景线。随着近年来子结构逻辑（substructurallogics）研究的不断深入，这种情......
一 引论汉语中存在着大量的歧义现象。人们依靠大量丰富的生活知识和对母语的熟练掌握，在日常语言交际中能排除大量的歧义，误解的可能性很小。但是，计算机的语义和背景知识很少，遇到有歧义的句子时，误解或不解的......
所谓自然语言就是各个民族在长期共同的社会生活中历史形成的语言，汉语、英语、俄语、日语和德语都属于自然语言。逻辑是形式科学的产物，人为设计的逻辑语言跟具有某种约定俗成特点的自然语言在句法语形和语义表现方......
逻辑真理的哲学性质是什么，这是一个一直备受关注的问题。逻辑实证主义将这些性质归结为分析性、必然性、先验性和可修正性。在这一问题上，蒯因的看法有很大的不同。蒯因从其整体主义知识观和经验论的立场出发，认为......
没有任何问题能像无穷那样，如此深刻地影响人类的精神。任何一个问题都不曾如此有效地激励人们的心智；然而，也没有任何概念比无穷更需要澄清。[1]一、潜无穷、实无穷的产生在人类社会的早期，人们关于世界的知识......
一、广义归纳逻辑、广义模态逻辑与广义认知逻辑的交叉发展任何称之为理论的知识体系，都需要经过产生、发展、成熟与完善的过程。任何逻辑学理论亦如此。一般而言，我们可以把已经处于成熟与完善阶段的理论称之为经典......
从直观上看，模态逻辑①（modallogic）是研究“可能”（possibility）、“必然”（necessity）等模态算子（modaloperator）的逻辑。随着国内学界对模态逻辑研究热度的持......
悖论研究的困境斯蒂芬·里德曾这样谈及哲学家与悖论的关系：“悖论既是哲学家的惑人之物，又是他们的迷恋之物。悖论吸引哲学家就像光吸引蛾子一样。但同时，悖论又是不能忍受的。我们做出的各种努力必然是为了消除悖......
“逻辑真理是可错的，逻辑原则上是可修正的”（陈波，2000年，第217页；另参见1998年，第251、256、259页）①，这是陈波教授常常谈论的一个观点。在他最近发表的一篇文章中，他认为“逻辑和逻辑......
作为一个逻辑学术语，“亚相容”(para-consistent)是对“亚相容逻辑”(para-consistentlogic)的简称。亚相容逻辑创建的初衷是欲对现实中的“矛盾”关系进行逻辑刻画。随着亚......