《形式逻辑》说：

推理就是根据一个或一些判断得出另一个判断的思维过程。

论述：推理

在实践基础上，人们形成了许许多多的判断。

判断与判断之间在真假方面是有联系的。

有些判断之真，必然地或者或然地导致另一判断之真。

判断与判断之间的真假关系，是人们推理活动的根据。

推理就是根据一个或一些判断得出另一个判断的思维过程。

例如，“麻雀只有两条腿，鸽子只有两条腿，老鹰只有两条腿，麻雀、鸽子、老鹰都是鸟类，所以，凡鸟类都只有两条腿”，这就是一个推理。

推理所根据的判断，叫做“前提”；由前提得出的那个判断，叫做“结论”。

例如，在上例中，语词“所以”前面的那些判断就是前提；语词“所以”后面的那一个判断就是结论。

推理是由两个或两个以上的判断所组成的一组判断。

但是，由两个或两个以上的判断所组成的一组判断，并不一定就是推理。

例如，“张三喜欢画画，李四喜欢唱歌，他俩都是艺术家”，这一组判断就不是推理。

从语言方面说，识别一组判断是不是推理，就是看表达这一组判断的语言中，是否有“所以”这一类的语词。

在表达推理时，除了用“所以”外，还可以用“因此”、“因为”等语词。

例如，“小张未满18岁，因此，他没有选举权”，在这个推理中，“因此”前面那个判断是前提，“因此”后面那个判断是结论；“小张没有选举权，因为，他未满18岁”，在这个推理中，“因为”前面那个判断是结论，“因为”后面那个判断是前提。

正如判断有内容与形式两个方面一样，推理也有内容与形式两个方面。

推理的内容与形式是既有联系又有区别的。

一个具体的推理是由作为前提的具体判断与作为结论的具体判断组成的；而一个推理形式则是由作为前提的判断的形式与作为结论的判断的形式所组成的。

例如，“麻雀只有两条腿，鸽子只有两条腿，老鹰只有两条腿，麻雀、鸽子、老鹰都是鸟类，所以，凡鸟类都只有两条腿”，这是个具体的推理，它的前提与结论都是具体的判断，这个具体的推理，既有内容也有形式；如果把这个具体推理的内容抽去，就可以得到以下这个推理形式：

S1是P，

S2是P，

S3是P，

S1、S2、S3都是S，

所以，所有S是P。

在这个推理形式中，我们用了“S1”、“S2”、“S3”、“S”与“P”这些概念变项，分别地代替原推理中的五个具体概念。

推理形式是用概念变项或判断变项去代替具体推理中的具体概念或具体判断的结果；推理形式是由概念变项或判断变项所组成的一组判断形式。

逻辑学研究判断时，只研究判断的形式，而不研究判断的具体内容；同样的，逻辑学研究推理时，也只研究推理的形式，而不研究推理的具体内容。

逻辑学研究由具有哪种判断形式的前提，能够或者不能够推出具有哪种判断形式的结论；逻辑学研究作为前提的判断形式与作为结论的判断形式之间联系的规律性。

正确的推理形式及其规律，是从大量的正确的具体推理中抽象出来的，而正确的具体推理又是客观世界中事物情况之间的联系的反映。

因此，正确的推理形式及规律，归根到底，是客观世界中事物情况之间的联系的反映。

由于正确推理形式反映了客观事物情况之间的联系，人们根据正确的推理形式，就能由已有的真实的前提得出原来未知的真实的结论，就能由已有的知识得出未知的知识。

所以，正确的推理与正确的推理形式，是人们获得未知的知识的重要手段。

例如，在欧几里得几何学中，根据正确的推理形式，人们由少数几条公理就推出许许多多原来未知的定理。

不但在几何学中是如此，在其它科学中也是如此。

《普通逻辑学》说：

推理是由一个或几个已知判断推出一个新判断的思维形式。

论述：推理

推理是由一个或几个已知判断推出一个新判断的思维形式。

例如，“凡是有生命的物体都是生物，猫是有生命的物体，所以，猫是生物”，这就是推理。

任何推理都是由若干判断组成的。组成推理的判断可以分为两部分：一部分是已知判断，即推理所依据的判断，叫做推理的前提；另一部分是依据前提推出的新判断，叫做推理的结论。

例如，在上例中，“所以”前面的判断都是前提，“所以”后面的判断则是结论。

推理的前提可以是一个判断，也可以是两个或更多的判断；任何推理的结论总是一个判断。

前提只有一个判断的推理叫做“直接推理”；前提有两个或更多判断的推理叫做“间接推理”。

如同概念离不开语词、判断离不开语句一样，推理也必须借助于一定的语言形式来表达。

在语言中，推理是由复句或句群来表达的。

表达推理的复句或句群，一般含有“因为…所以…”、“由于…因此…”、 “…由此可见…”等因果关联词语。

但推理的本质是判断与判断之间的推出与被推出关系，而不是表达判断的语句之间的关联词语；有些复句或句群中虽然不包含因果关联词，但各分句所表达的判断之间却有推出与被推出关系，它们同样表达推理。

例如，“为人民利益而死，就比泰山还重…张思德同志是为人民利益而死的，他的死是比泰山还要重的”，显然，“张思德同志的死是比泰山还要重的”是根据前面的判断推出来的，这里没有使用“所以”之类的因果关联词，但它仍然是一个推理。

由此可见，要确定一个复句或句群是否表达推理，不能仅看它是否包含有因果关联词语，还要看各分句所表达的判断之间是否存在推出与被推出的关系。

《形式逻辑教程》说：

所谓推理就是从一个或几个已知的判断出发推出另一个新判断的思维形式。

论述：推理

推理和概念、判断一样，也是人们在日常生活、学习和工作中经常运用的一种思维形式，任何一个人不管他是否学过逻辑、懂得逻辑，只要他进行思维，就一定要运用概念作出判断和进行推理。

推理都是由判断构成的，判断是推理的组成要素。具体地说，推理都是以已知的判断为根据，而推出另一个新判断的。

由此我们就可以给推理下一个这样的定义：所谓推理就是从一个或几个已知的判断出发推出另一个新判断的思维形式。

在推理中，我们把由其出发进行推理的已知判断称为“前提”；把由已知判断所推出的判断称为“结论”。

任何推理，都是由一定前提推出一定结论的过程，即由一些判断推出另一判断的过程。

推理也是同语言联系在一起的，推理在语言上表现为复句或句群。如果复句或句群中有“因为…所以…”、“由于…因此…”、“…由此可见…”等关联词语，则往往表达推理。

要正确地运用推理，就必须使推理具有逻辑性。一个正确的、能保证结论真实的推理必须具备两个条件：一、前提是真实的，即应当是正确反映客观事物情况的真实判断；二、推理的前提和结论间的关系是符合思维规律的要求的，也就是说，它们之间的关系不应当是偶然的凑合，而应当是具有一定的必然联系。

任何一个推理，不管它的具体内容如何，只要它满足了上述这样两个方面的要求，它就是正确的、有逻辑性的推理。

但是，就逻辑学来说，对于推理前提是否真实的问题，它是解决不了的，这是要通过其它具体科学，归根结底要通过实践才能解决的。逻辑学所能解决的只是：哪些推理形式是符合逻辑规则的，因而是形式正确的；哪些推理形式是不符合逻辑规则的，因而是形式不正确的。这就是说，推理是否具有逻辑性的问题，就是指推理形式是否合乎逻辑规则的问题，即遵守推理的逻辑规则是使推理具有逻辑性的充分条件。这才是逻辑学所要研究的主要内容。

应当指出，逻辑学所研究的正确推理形式及其规律，既不是从天上掉下来的，也不是人脑中生来就有的，而是从大量正确的具体推理中概括出来的；但我们又知道，正确的具体推理不过是客观世界中事物情况之间的一定联系的反映。因此，正确的推理形式及其规律，归根结底，是客观世界中事物情况之间的一定联系的反映。

正是由于正确推理形式及其规律反映了客观事物情况之间的一定联系，人们根据正确推理形式，就能由已知的真实的前提得出新的真实的结论，即能由已有的知识正确推出未知的知识。所以，正确地运用推理形式及其规律，也是人们获得未知知识的重要手段。

《语言学与逻辑学》说：

推理是依据已知的判断推出新判断的思维形式。

论述：推理

推理是依据已知的判断推出新判断的思维形式。

推理在结构上分为前提和结论两部分。前提是作为推理依据的部分；结论是由已知判断推出来的新判断。

有效性是推理的一个重要特征。推理的有效性即是说，如果一个推理是正确的合乎逻辑规则的，那么它就是有效的；反之，如果一个推理是错误的，违背逻辑规则的，那么它就是无效的。

推理的有效性也叫推理的形式有效性，因为推理的有效或无效，不是就推理的内容和意义而言，而是就推理的形式结构而言的。