摘要
去年,邢运中同志发现了诸如“正方形不是等边三角形;所以,正方形是非等边三角形”这类符合现行规则(“结论中的谓项是前提中谓项的矛盾概念”),却又得不出正确结论的直接推理方面的几个实例。(见本刊1990年第一期27页) 今年,夏年喜同志又发现:由“一切生物都是发展变化的‘推出’有些非生物是不发展变化的”,前提真实且推理形式正确(SAP→SEP→PES→PAS→SIP),得出的却是假结论。为此发问:“是这一推理不属于演绎推理?还是演绎推理并非当其前提真实且推理形式正确时,结论一定真实可靠呢?”(见(《逻辑与语言学习》,1991年第2期第24页) (注:这个问题,苏越主编的《现代逻辑推理技法》中已涉及到,并作出了答案,北京师范大学出版社。