推理应当合乎逻辑,这是形式逻辑对推理的要求。一个推理要合乎逻辑,必须具备两个条件:一是前提必须真实,二是推理形式必须正确。恩格斯说:“如果我们有正确的前提,并且把思维规律,正确地应用于这些前提,那么结果必是与现实相符。”(《马克思恩格斯全集》第20卷第661页)这两个条件缺少了任何一个都不能必然得出真实的结论。

例如:

①一切社会都是阶级社会;

原始社会是社会。

所以,原始社会是阶级社会。

②共产党员应该遵纪守法;

他不是共产党;

所以,他不应当遵纪守法。

这两个推理的结论都是错误的。之所以如此,对前一个例子来说,是因为它的前提“一切社会都是阶级社会”是不真实的;对后一个例子来说,则是因为它的推理形式是不正确的。由此可见,一个推理要必然地得出真实的结论,必须具备前提真实和推理形式正确这样两个条件。