按照亚里士多德的学说：存在着两种推理类型或无矛盾地从一个判断推导另一个判断的模式：从较一般的判断到较特殊的判断，用三段论；从特殊判断到包含它们的一般判断，用现今所谓的归纳。如果形成科学或体系的判断能按照这些模式相互推导出来，那么它们便完全彼此适应而无矛盾。仅仅这一点就表明，新的知识源泉的开发不能是逻辑法则的任务，确切地讲，逻辑法则只是有助于审查从其他源泉引出的发现是一致还是不一致，若不一致则指明需要保证充分的一致。
