自亨普尔导出验证悖论(因为以乌鸦为例，又叫乌鸦悖论)并提出初步解决方案之后，哲学家和逻辑学家都产生了极大兴趣。从逻辑上说，一个全称命题在逻辑形式上等值于一个条件命题或蕴含式，由一个命题进行逻辑推导可以......
认为可能世界概念不是初始的，可以进一步还原为逻辑—语言的构造物，可能世界的本体地位就是一类语言实体，这样的一种观点称为可能世界的语言替代论(linguisticersatzism)①，其主要代表性学说......
什么是论证呢？奥凯弗（O'Keefe）把论证区别为两种类型：论证1是指作为一种话语或交际行为的论证，它被看作为是由主张及其理由所组成的；论证2是一种特殊交互作用，指的是一个论争或就特定主张做出论证的过......
拙作《继承与叛逆：现代科学为何出现于西方》出版以来，蒙多份报章作介绍和论述，但迄今为止所见最详细和深入的评论，当推金观涛兄大文《“自然哲学”和科学的观念：从〈继承与叛逆：现代科学为何出现于西方〉谈起》......
条件句问题是一个古老的逻辑论题，早在古希腊时期，斯多葛学派就已经开始研究条件句的真的问题。从那时起，条件句问题始终是逻辑研究最为核心的问题之一。在某种意义上，全部逻辑，至少是旨在刻画推理的逻辑，都是建......
中国古代逻辑是世界三大逻辑源流之一，而墨家逻辑则是中国古代逻辑最重要的代表。近代以来，学者们一直强调“德先生”、“赛先生”，还有“逻先生”对于中国社会发展的重要性，而墨家学说则在这三个方面都有比较先进......
20世纪下半叶是非经典逻辑蓬勃发展的时期。在这一时期，陆续诞生了相干逻辑、时态逻辑、量子逻辑、规范逻辑、多值逻辑等非经典逻辑，其中最引人注目的非经典逻辑是次协调逻辑。次协调逻辑的兴起展示了逻辑走多元化......
分布式知识是经典认知逻辑群体知识中的一个重要概念。群体知识主要有普遍知识（generalknowledge,universalknowledge）、公共知识（commonknowledge）和分布式知......
一、人工智能：模拟辨证思维过程（一）标准逻辑的局限性上世纪80年代爆发的人工智能理论危机，彻底暴露了经典数理逻辑(标准逻辑)的局限性：经典数理逻辑是数理形式逻辑，它的立论基础是“封闭全信息的确定性世界......
“当”是墨家辩学中非常重要的概念。先秦时期，特别是战国时期，是一个“百家争鸣”的时期。诸子百家都很善辩，但对“辩”真正从理论上比较系统探讨的是墨家。“当”是墨家在界说“辩”时提出的。“辩，争彼也”；“......