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

思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。具有不同结构的判断形式、推理形式、证明形式也是不同的思维形式。在具体思维中，思维形式和思维内容总是结合在一起的，既不存在没有思维形式的思维内容，也不存在没有思维内容的思维形式。但是思维形式对于思维内容具有相对的独立性，因此逻辑学可以把思维形式抽出来作为自己的研究对象。

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

1.逻辑学术语。详"中项"。

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

1.著名的学者。 2.逻辑学的旧称。

“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。