证实推理和不证实推理
证实推理是一种归纳推理。归纳推理的特点是，在一个归纳推理过程中，即使所有前提条件都是真的，所得到的结论也有可能是错的。因此，对于一个科学理论来说，不管有多少可以证明其正确性的证据，这个理论是错误的这种可能性始终存在。
不证实推理是一种演绎推理。演绎推理的特点是，在一个演绎推理过程中，真的前提条件就保证了真的结论。比如，苏格拉底有一个著名的三段论：人都会死，苏格拉底是人，所以苏格拉会死，这是一个正确的推理。无独有偶，相传柏拉图也曾经说过，无毛的两腿动物是人。他的学生听到后，就把一只鸡捉来，将毛拔光，根据柏拉图的定义，那么被拔了毛的鸡也是人。显然，这个推理是错误的，因为大前提错了。
