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

shù/shǔ/shuò lǐ luó jí亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

zhōnɡ cí1.逻辑学术语。详"中项"。

zhí yán sān duàn lùn/lún1.逻辑学名词。即三段论。亦称定言三段论。是从两个已知的判断(前提)推出它们所制约的第三个判断(结论)来的间接演绎推理。因为两个前提和一个结论都是直言判断，所以叫直言三段论。如:凡金属都能导电，铜是金属，所以铜能导电。

lùn/lún tí1.诗文的题目﹔议论的题目。 2.逻辑学上指真实性需要证明的命题。

biàn xué1.即辩学。逻辑学的旧称。辨﹐通"辩"。

yán fù (1854-1921)近代启蒙思想家、翻译家。福建侯官(今闽侯)人。福州船政学堂毕业，留学英国。曾任北洋水师学堂总办。甲午战争后，发表《论世变之亟》、《救亡决论》等文，主张学习西方，维新变法。又译《天演论》，以进化论观点，号召国人救亡图存。翻译西方政治经济思想和逻辑学著作，首创“信、达、雅”的翻译标准。辛亥革命后，思想趋于保守。著译编为《侯官严氏丛刊》、《严译名著丛刊》。

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

nèi/nà bāo1.即内涵。逻辑学名词。参见"内涵"。

fǎn duì pàn duàn不能同真但可以同假的两个判断。如“逻辑学是无用的”和“逻辑学是万能的”就是反对判断。对于反对判断，可以由一个判断之真推出另一个判断之假，但不能由一个判断之假推出另一个判断之真。