一、引言广义量词理论(generalizedquantifiertheory)是一阶逻辑的扩展理论，它比一阶逻辑更有利于计算机进行知识表示和知识推理，这是因为:(...[全文]
添加时间：2015-03-12
20世纪中期，人们发现:(1)自然语言中存在很多不能够用一阶逻辑中的标准量词和来加以定义的，但却具有非常有趣的数学推理性质的量词［1］...[全文]
添加时间：2015-03-12
近年来，随着国际学术交流的日益频繁，当代着名逻辑学家和哲学家克里普克（S.Kripke）的逻辑哲学思想，已被国内学界越来越多地认知。克氏关...[全文]
添加时间：2015-03-12
为了论证真是并且应该是具有实质内容和哲学价值的概念，戴维森曾用一篇50页长文《真之结构与内容》［1］来讨论各种已有的以及他自己的真理论...[全文]
添加时间：2015-03-12
新中国成立之后，我国科学发展日新月异，逻辑学也成为一门非常活跃的科学。受前苏联逻辑学问题讨论的影响，在毛主席的倡导和带领下，我国逻...[全文]
添加时间：2015-03-12
马希文教授19岁大学毕业后开始从事教学研究工作，虽未着作等身，但其每一篇文章都能看出先生的严谨风格，卓显其睿智。先生像一位领路人，不...[全文]
添加时间：2015-01-29
康德的时间图形概念，经过胡塞尔、维特根斯坦、柏格森的发展，到海德格尔那里获得完全的综合，先验演绎的三重综合发展成为四维流形，原始而...[全文]
添加时间：2015-01-29
1传统的知识的三元定义现在西方知识论文献中所称的传统知识的三元定义，或称为拍拉图的定义。知识被看作是一种确证了的、真实的信念。知识是...[全文]
添加时间：2015-01-29
1论谬误谈论谬误，我们一般的看法是它是一个错误的判断。例如，我面对眼前的一根烟说，这是一本书。显然，这是一个错误的判断，你会认为我的...[全文]
添加时间：2015-01-29
1规范逻辑言说规范逻辑又叫道义逻辑，属于广义模态逻辑的一部分，是用形式化的方法研究规范推理有效性的逻辑理论。推理有效性，也就是推理形...[全文]
添加时间：2015-01-29
类逻辑是以类这个概念为中心，经过不同时期的发展变化后，在人类的大脑中逐步形成且具有一定规范的逻辑思维形式。类并不是一开始就具有分类...[全文]
添加时间：2015-01-29
集合论是否需要新公理的问题是当前数学哲学研究的热点问题之一。该问题源于20世纪60年代集合论发展产生的独立性结果。科恩发表于1963年和196...[全文]
添加时间：2015-01-29
1902年6月16日，罗素的着作《数学原理》(PrinciplesofMathematics)发表前夕，他给弗雷格写了一封信，信中写道:我在读您的着作《算术基...[全文]
添加时间：2015-01-29
一信念之谜的构成。所谓信念之谜，源自着名逻辑学家和哲学家克里普克(SaulKripke)在《一个关于信念的疑难》一文中构造的一个思想实验［1］23...[全文]
添加时间：2014-12-22
西方哲学的传统是一种对知识的热爱，对知识的信仰。它认为哲学的根本追求就是知识，知识是对世界的理论把握，人们拥有了知识就可以把握这个...[全文]
添加时间：2014-12-22
论证是一个命题序列，其中一个命题由其它命题得出。对论证的评估可从语形、语义、语用三个角度进行。语形角度侧重命题之间的形式关系，从该...[全文]
添加时间：2014-12-22
一、弗雷格的相等难题弗雷格在《论涵义和意谓》中谈到了相等问题。主要讨论两种相等，一是名称的相等，二是句子的相等。该文章开篇写道：由...[全文]
添加时间：2014-12-22
逻辑学是联合国教科文组织认定的七大基础科学之一，中国在这方面的研究处于一个良好的上升阶段。现在，带有逻辑字眼的文章、论文层出不穷，...[全文]
添加时间：2014-12-22
一、虚概念的起源（一）迷信神话无论在西方还是中国，人类起源初期由于其知识经验的缺乏，我们更多地崇拜于超自然能力，而且不断向往与追求...[全文]
添加时间：2014-12-22
我的两本悖论书《悖论研究》和《思维魔方，让哲学家和数学界纠结的悖论》（以下简称《思维魔方》）由北京大学出版社于2014年6月同时出版，似...[全文]
添加时间：2014-12-22
