形式逻辑的基本规则之一。其内容为：同一个主体(个人或集体)不能作出互相矛盾(不能同真也不能同假)或互相反对(不能同真但可以同假)的判断。因其不容许自相矛盾，故亦称“不矛盾律”。它从另一方面体现了同一律关于保持判断同一的要求。它并不否认客观事物本身的矛盾，也不否认反映这种矛盾的思想上的矛盾。

①对道德现象作出断定的逻辑思维形式。分评价判断(如诚实是一种美德)、规范判断(如尊重社会公德是公民的义务)和命令判断(如不准偷窃)。 ②判定他人或自己行为善恶的认识活动。是人们进行道德选择和道德评价的一个环节。

先秦时主张“兼爱”和“非攻”等的重要学派。创始人为墨子。在当时为儒家的反对派，影响极大。墨家有严格的纪律，其弟子都能赴汤蹈火，舍身行道。后期墨家克服了墨子学说中的宗教迷信成分，对逻辑学、光学、几何学、力学等都有研究和贡献。

散文篇名。唐代柳宗元作。“封建”指奴隶社会分封国土、建立诸侯国的分封制度。作者分析了这种制度的产生原因、形成过程及其弊病，论述了它终被中央集权的郡县制所取代的历史必然性。意在反对唐中期的藩镇割据，维护唐王朝的统一。措词严谨，有很强的逻辑性和说服力，是古代议论文的典范之作。

1.战国惠施学派的基本观点。认为一切事物的差别﹑对立是相对的，强调差异之中有同一，并以"天与地卑，山与泽平"﹑"日方中方睨"﹑"物方生方死"等命题来进行论证，对古代逻辑思想的发展有一定贡献，但夸大了概念的同一性，忽视了个体的差别，因而导致相对主义的错误。

揭示概念外延的逻辑方法，即将一个属概念分为若干个种概念。根据不同的标准可以作不同的划分。如将“词典”划分为语文词典、专科词典和综合性词典是对“词典”的一种划分；划分为单语词典、双语词典、多语词典是另一种划分。划分不同于分解。划分的对象是概念，分解的对象则是事物；划分的结果是若干种概念，分解的结果是若干组成部分。划分的主要规则是：划分出来的概念的外延之和必须等于被划分的概念的外延。

一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基本字符集通常包括二十六个英文字母、0～9十个数字、算术运算符、关系运算符、逻辑运算符等。不同计算机有不同的汇编语言。

战国时讨论“名”(概念)和“实”(事实)的关系问题的学派。主要代表为惠施和公孙龙，惠施强调事物的相同性，公孙龙强调事物的差别性。他们的讨论对古代逻辑发展有一定贡献。

自觉的系统的定型的社会意识。分为意识形态和非意识形态两大部分。非意识形态间接反映社会经济形态和政治制度，包括自然科学、语言学和形式逻辑等。

1.指印度古因明学(即逻辑学)的五段推理法，后为新学三段推理法所代替。