逻辑是研究推理的有效性的，并且是从形式上来研究推理的有效性的。但是实际的推理是通过自然语言实现的。严格的形式上的逻辑联结词和实际的自然语言中的联结词并不存在精确的一一对应关系，它们之间存在相同点也存在......
《韩非子•难一》记载的“卖矛又卖盾”的矛盾是逻辑悖论意义上的“自相矛盾”，与作为唯物辩证法核心范畴的“对立统一”意义上的矛盾有着重要的不同，将前者用作后者实则是误用。这种误用长期以来一直没......
1 语句和命题亚里士多德认为，一个语句是语言的一个有意义的部分，其中某些部分具有一种独立的意义，①这就是说，它们足以作为有意义的表达，虽则不足以作为一个肯定命题和否定命题[1]16b26-28。亚里士......
隐涵是日常会话中常见的语言现象。人们说话常常是话中有话，弦外有音，单凭语词的词汇意义无法理解话语的这种言外之意，谈话双方需要借助语境和推理才能理解话语的意义，这样的话语意义就是隐涵。一、格赖斯的隐涵理......
一自1988年《经济逻辑学》[1]的出版到2002年11月全国经济逻辑会议在天津的召开，我国的经济逻辑基本上是在形式逻辑的范式（即概念框架）中展开研究的。通常，经济逻辑表现为形式逻辑的扩展与应用，这是......
言意之辩，即语言能否充分表达思维意义的辩论，从春秋战国至今，已持续两千多年。辩论正方主张“言尽意”，反方主张“言不尽意”，涉及逻辑哲学和语言文学诸多领域。笔者在本文中概论言意之辩长期历史进程的几个重要......
逻辑悖论是一个涉及多学科的边缘性、交叉性的研究领域。历经两千余年、无数贤哲的不懈探究，该领域在取得丰硕成果的同时，也日益陷入“文献众多但散乱、重复而又缺乏关联”①的无序困境。以学术视野开阔著称的当代美......
一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻......
唐代玄奘法师的弟子窥基(公元632—682年)的《因明入正理论疏》被后世尊称为《因明大疏》、《大疏》。窥基《大疏》是集唐疏大成之作。它代表了唐代因明(佛教逻辑)研究的最高成就，在慈恩宗内拥有最高权威。......
塔斯基真理论的形式结果在数学和逻辑方面的重要价值早已得到公认，但塔斯基真概念的哲学实质究竟是什么却一直充满争议。有的哲学家认为塔斯基的真理论是一个符合论；[1][2]也有的认为它仅仅是一个收缩论；[3......