必要条件推理

        小故^①,有之^②不必然^③,无之必不然。(《经说》)
        

        【注释】　①小故:小的原因或条件。“故”表示事物产生的原因或条件。②之:指某条件。③然:指某结果。
        【译文】　小的条件是指,有这个条件存在,不必然产生某个结果,没有这个条件存在,则必然不会产生某个结果。
        【评说】　在推论过程中,结论依赖于前提。逻辑中的这种依赖关系,是客观世界中的因果关系的反映。一个现象之所以产生的条件和原因,《墨经》称之为“故”。
        这里说的“小故”就是现代逻辑学中的“必要条件”:没有这个条件就必然不会产生某个结果,而有了这个条件,会不会产生某个结果是不一定的。例如:无点不成线,但是有点未必成线。
        在必要条件假言推理中,如果没有某个条件作为前提,就必然推不出某个结论;但是有了这个条件作为前提,能否推出某个结论并不一定。例如:从大前提“只有年满十八岁,才能获得选举权”和小前提“张三没有到十八岁”,必然可以推出“张三没有选举权”这个结论。但是却不能从小前提“张三已经年满十八岁”必然地推出“张三有选举权”的结论,这说明“年满十八岁”只是获得选举权的必要条件。