简介：毛泽东逻辑思想是其思想的重要组成部分。毛泽东是中国辩证逻辑的杰出代表，对传统逻辑理论提出了创造性的见解，对中国逻辑的普及和发展作出了重要贡献。

简介：20世纪五六十年代我国哲学界、逻辑界关于逻辑问题的讨论是新中国建立初期的一次重要学术盛事。这场讨论对我国逻辑学的发展有重要的学术价值：肯定了形式逻辑，提出并使学术界深入思考了诸多问题，达到了学术讨论的目的。这场大讨论涉及形式逻辑的对象、客观基础、真假与对错关系以及形式逻辑与辩证法的关系等问题。

简介：19世纪以来的中国逻辑史研究，比照西方逻辑，仅仅将先秦的名辩学看成是中国逻辑史的主要部分。其间虽有对《周易》的涉及，但也是浅尝辄止。本文从《周易》经、传产生的年代，特别是《周易》经、传所蕴涵的逻辑内容与先秦名辩逻辑的代表人物孔子、惠施、邓析等人的思想对比，说明先秦易学逻辑对名辩逻辑产生了深刻的影响。得出《周易》的经、传发轫了中国古代逻辑中的推类理论，而名辩学尤其是墨家辩学的推类理论则是对自《周易》以来的推类逻辑传统的总结和提高的结论。

简介：基于不同历史文化背景而形成的不同逻辑传统，既有共同性，又有特殊性。因此，两种逻辑的比较研究只有建基于历史分析与文化诠释之上，才能对它们的异同作出合理的分析与说明。墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

简介：四、关于判断的分析判断是对事物情况有所肯定或否定的思维形式。从思维形式看,判断是由概念组成的。从判断对事物情况有所断定这一思维内容考察,任何正确的判断也都同样来源于人的社会实践,来源于对事物情况的周密的调查了解。毛泽东在《中国革命战争的战略问题》一文中说:'指挥员的正确的部署来源于正确的决心,正确的决心来源于正确的判断,正确的判断来源于周到的和必要的侦察,和对于各种侦察

简介：次协调逻辑（Paraconsistentlogic）这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的（over—complete）,即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达（A.I.Arruda）的《次协调逻辑历史发展的若干问题》（‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’）一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。

简介：<正>近些年来,中国逻辑史研究专家们对“孔子在中国逻辑史上的地位”研究较多,但多限于对孔子“正名”逻辑思想的理论意义及其对中国古代逻辑的影响的探讨.

简介：本文主要对金岳霖先生20世纪20-40年代逻辑思想进行较全面的研究。金岳霖对传统逻辑进行了创造性的介绍和深刻的批评；对罗素、怀特海《数学原理》的逻辑演算作了全面介绍；另外金先生深入思考逻辑哲学问题，精辟而系统讨论逻辑演算，在我国最早讨论了逻辑的完全性、一致性和独立性。金先生堪称我国现代逻辑和逻辑哲学的奠基人。

简介：

简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上，围绕“存在”是不是个体的属性从而是不是逻辑谓词的争论呈现出三派观点：弗雷格、罗素等从一阶逻辑出发，认为“存在”不是逻辑谓词，而是量词；皮尔士、斯特劳森等结合精致的自然语言分析，认为“存在”在某些特殊情况下表达了个体的属性，是一种特殊的谓词；自由逻辑学家则从自由逻辑的角度给出了肯定的答案。在“何物存在”问题上，蒯因“存在就是约束变项的值”的本体论承诺标准机智地揭示了存在问题的语言学实质。可以说，利用一阶逻辑解释存在问题的方法是比较成功的。如果将弗雷格、罗素的一阶语言扩展到高阶语言，则既能与蒯因的理论连贯一致，又能避免无谓的“存在”本体论纷争。这种做法的结果是“存在”具有了层次性的特征。掌握一定的逻辑学基础知识，有助于我们深入研究西方哲学。

简介：科教兴国的逻辑起点○蒋佩芳顾荣福世纪之交的世界，充满机遇与挑战，国际竞争日益激烈。中国靠什么来取胜？党中央、国务院明确作出“科教兴国”的战略决策，这是中华民族谋生存、求发展，实现伟大复兴的重大举措。探讨科教兴国的逻辑起点，有助于进一步树立科教意识，使...

简介：在森林里住着一只山羊和兔子，山羊在星期一、三、五说谎，兔子在星期二、四、六说谎。在其他日子它们说实话。一天，来了一只猴子，见到山羊和兔子，分别向它们提出关于日期的问题。山羊和兔子都说：“前天是我说谎的日子。”那么这一天是星期几?

简介：作为中观派思想家，清辨完全承续了龙树以“空”范畴为核心的批判哲学。所谓“空”即“无自性”，它由原始佛教的“无我”概念发展而来，是佛教反对各种“自性”、“神我”观念进而对世界作出统一性解释的集中表达。“空”是佛教哲学的核心概念。围绕着这一概念，中观派营建了一套关于人生痛苦和解脱的宗教思想体系。这个体系在龙树那里以否定的形式有了基本的展开，而清辨所面临的问题就是：如何从正面赋予“空”以具有充分说服力的逻辑形式，以巩固和完善中规派关于“空”的哲学构架。时代恰恰为清辨提供了这样一种逻辑——三支逻辑。清辨吸收、融汇和改造了由唯识学者也是因明大师的陈那创建的这种逻辑，并完成了关于“空”的逻辑证明。

简介：自本世纪七十年代末以研究智能系统的工作原理为对象的交叉学科——认知科学(CognitiveScience)正式宣告诞生以来,“人类智能的奥妙”就成为当今人类最感兴趣的四大问题之一。随之而来的,关于“人类智能的研究和开发”等系列问题也格外引人注目。“人类对自身潜能的不断挖掘,即人类智能的发展,是一个比用国民生产总值所能衡量的经济发展,远更基本的现象。”“如何去激发我们处于休眠状态的潜能,并从现在开始,有目的地明智地运用它们,是一个关于解决人类差距,关于人类前途的保证的唯一去处。”

简介：弗雷格认为，逻辑研究真，是关于实真的最普遍规律的科学；逻辑的任务是仅仅说明最普遍的东西，对所有思维领域都有效的东西。弗雪格运用逻辑与语言相结合的分析方法探讨“真”，通过严格的形式语言和系统的逻辑演算的方法求真。他的论述涉及逻辑研究的对象及方式，逻辑和心理学的区别，这些论述反映了他对逻辑这门学科性质的独特认识，他的观点对现代逻辑和20世纪哲学的发展造成了重大影响。

简介：

简介：历来,学术界言称辩证逻辑,必谈黑格尔、马克思以及列宁,实际上,毛泽东的哲学思想中也包含着丰富的辩证逻辑思想。一些同志认为,辩证逻辑是思维的辩证法,它所要解决的问题之一也就是给人们一个正确的思维方法。毛泽东在《矛盾论》、《实践论》中所阐述的思想,就是要解决我党的思想方法和工作方法问题。因而,深入研究毛泽东的辩证逻辑思想,对于我们研究毛泽东哲学思想,对于促进我国辩证逻辑的研究具有重要的意义。

简介：

简介：本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这些系统的可靠性和其中一些系统的完全性。