xíng shì luó jí从思维的形式结构方面研究思维规律的科学。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想。是人们认识世界和改造世界的必要工具。

chuán/zhuàn tǒng luó jí亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代，不断丰富发展而沿用迄今，故称。

chōng zú lǐ yóu lǜ形式逻辑的基本规则之一。提出或证明一个命题，都必须有能够表明它何以真实的理由。证明要求论据必须真实，并且从论据可以推出论题，这就是充足理由律的具体运用。

pái/pǎi zhōng lǜ形式逻辑的基本规则之一。其内容为：在必须作出判断的时候，要有所断定，不能无可无不可，无所断定；对于只有互相矛盾的两个可能的问题，要有所肯定，不能两不可，对两个可能全都否定。它和同一律、矛盾律都不同，从一个新的角度要求思维的确定性。因其要求排除两个矛盾判断之间的中间者，故称排中律。

shè huì/kuài yì shí/zhì xíng shì自觉的系统的定型的社会意识。分为意识形态和非意识形态两大部分。非意识形态间接反映社会经济形态和政治制度，包括自然科学、语言学和形式逻辑等。

luó jí xué研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

sān duàn lùn/lún shì1.逻辑名词。也叫三段论﹑三段论法。形式逻辑间接推理的基本形式，由大前提﹑小前提﹑结论三部分组成，故称。

duàn àn1.形式逻辑三段论法中的结论。

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

luó jí fāng fǎ人们在逻辑思维过程中，根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻辑方法。形式逻辑方法包括普通(传统)逻辑方法(如综合、抽象、概括、定义、划分等)和现代形式逻辑方法(如形式化方法、公理化方法)。辩证逻辑方法包括归纳与演绎结合、分析与综合结合、逻辑的与历史的结合、抽象上升到具体等方法。