证伪主义是20世纪最重要的科学哲学思想之一，它深深影响了当代社会科学的研究模式。在目前许多社科研究方法教材以及影响力较大的学术期刊中，我们都能看到证伪主义的核心方法论位置，如彭玉生所说：目前科学界比较普遍接受波普尔的证伪主义，又称后实证主义

如果那么作为假设使用广泛，不涉及内容往往不去深究它本身所包含的思想。如果那么作为结构，它是从千万个涉及具体内容的命题中提炼出来的，作为思维的积淀形成其特有本质。这种结构所表达的联系传统意义上叫充分条件，现代意义上叫蕴涵。表达充分条件的命题

中国古代有没有逻辑？中国的逻辑是否存在？中国古代逻辑研究的困难是什么？中国古代逻辑研究的出路究竟是演绎化还是归纳化？这些重要问题近年来逐渐成为逻辑学界和哲学界争论的热点。在这里，我们将基于逻辑与文化的关系，从归纳逻辑、非形式逻辑等视角探讨

为了论证真是并且应该是具有实质内容和哲学价值的概念，戴维森曾用一篇 50 页长文《真之结构与内容》［1］来讨论各种已有的以及他自己的真理论。他拒斥所有对真采用减缩( deflationary) 态度的理论，包括莱姆塞的冗余论、霍维奇和菲尔德的减缩论等等，其中也

我的两本悖论书《悖论研究》和《思维魔方，让哲学家和数学界纠结的悖论》（以下简称《思维魔方》）由北京大学出版社于 2014 年 6 月同时出版，似乎受到图书市场的关注和欢迎。很多网络媒体和一些报纸发表了有关《思维魔方》一书的消息和评论，该书还进入由教

逻辑思想的发源地主要有三个：古代中国、古印度和古希腊。但是，古代中国和古印度的逻辑思想没有能够获得持续的发展，后来都衰落了。只有古希腊的逻辑思想获得了长期、持续的发展，到 19 世纪末20 世纪初，更是产生了光耀世界的现代逻辑。在新世纪里，如何实

逻辑学是联合国教科文组织认定的七大基础科学之一，中国在这方面的研究处于一个良好的上升阶段。现在，带有逻辑字眼的文章、论文层出不穷，而相应的问题是，我们似乎缺少对逻辑学意义本身的反思我们为什么需要研究逻辑？其实，答案无外乎两点：逻辑本身有很

一、虚概念的起源 （一）迷信神话 无论在西方还是中国，人类起源初期由于其知识经验的缺乏，我们更多地崇拜于超自然能力，而且不断向往与追求彼岸的幸福生活，于是产生了超脱于现实社会的形象和美好的神话故事，所以西方的上帝、宙斯、雅典娜，中国的观音菩

论证是一个命题序列，其中一个命题由其它命题得出。对论证的评估可从语形、语义、语用三个角度进行。语形角度侧重命题之间的形式关系，从该角度看，一论证是正确的，当且仅当其结论是根据逻辑规则从前提中推出的；语义角度侧重命题与所指对象之间的关系，从

集合论是否需要新公理的问题是当前数学哲学研究的热点问题之一。该问题源于 20 世纪 60 年代集合论发展产生的独立性结果。科恩发表于 1963 年和 1964 年的论文证明了连续统假设 ［简称 CH］ 在策墨罗 － 弗兰克尔的标准集合论公理系统 ［简称 ZFC］ 中不可证

戴维森纲领基于塔尔斯基约定-T 模式将真和意义加以联结，试图勾画一幅真之语义论的理想蓝图，从而为一种自然语言中的任一表达式的意义提供一种有效的解释或说明。这一模式必须仅仅蕴涵具有外延解释性的 T-语句。然而，以福斯特（ FosterJ A） 为代表的一些人

1 传统的知识的三元定义 现在西方知识论文献中所称的传统知识的三元定义，或称为拍拉图的定义。知识被看作是一种确证了的、真实的信念。知识是由信念、真与确证这三个要素组成的： (1) 命题 P 是真的．(2) S 相信 P，(3) S 的信念 P 是确证了的因此，在传统

逻辑作为工具、方法或出发点,一直是形而上学的基础,自亚里士多德至今都是如此。亚里士多德关于是的第一原理就是矛盾律这条重要的逻辑规律①,因而关于是的本体论是从矛盾律这样的逻辑规律出发的,排中律也在考虑范围内,它们值得被称为关于是的普遍原理。从根本

随着中国高等教育的迅猛发展与知识体系的更新，高校新专业与新课程日益增加，作为传统基础课程的逻辑学与其他基础课程一样，面临着教学内容调整、课时减少与方法革新的压力；同时，这些压力也是传统基础课程的教学理念与实践与时俱进、重获生机的重要契机。

近年来，随着国际学术交流的日益频繁，当代着名逻辑学家和哲学家克里普克（S. Kripke）的逻辑哲学思想，已被国内学界越来越多地认知。克氏关于个体本质的观点在分析哲学中显得独树一帜。本来，像本质主义这样的言论是被早期分析哲学家们作为形而上学话题而坚

西方哲学的传统是一种对知识的热爱，对知识的信仰。它认为哲学的根本追求就是知识，知识是对世界的理论把握，人们拥有了知识就可以把握这个世界。而形式逻辑则被认为是认识世界的有效工具，它的主要功能就是通过推理来获得新知识，来扩展我们的知识范围。在

在从自在到自觉的发展道路上，逻辑学终于在 20 世纪超越规范和方法的发现与描述这种技艺性反思形态而提升到逻辑哲学境界，开始追问作为逻辑规范和方法前提的基本概念，如真、必然性、意义等，它们不能再套用描述逻辑规范和方法那样的认识方式来说明，而是必

马希文教授 19 岁大学毕业后开始从事教学研究工作，虽未着作等身，但其每一篇文章都能看出先生的严谨风格，卓显其睿智。先生像一位领路人，不追逐世俗的名利，为后来者指明了许多研究方向。 先生的成就令人关注最多的是其在计算机尤其是人工智能方面作了大量

一 信念之谜的构成。 所谓信念之谜，源自着名逻辑学家和哲学家克里普克( Saul Kripke) 在《一个关于信念的疑难》一文中构造的一个思想实验［1］239 －283: 皮埃尔( Pierre) 是一个地道的法国人，他只会讲他的母语法语，而且一直居住在法国。尽管皮埃尔从来没

1 规范逻辑言说 规范逻辑又叫道义逻辑，属于广义模态逻辑的一部分，是用形式化的方法研究规范推理有效性的逻辑理论。推理有效性，也就是推理形式的有效性，是指作为前提的命题形式与作为结论的命题形式之间是否具有严格蕴涵关系。随着现代演绎逻辑体系的发展