Comúnmente se identifican dos tipos de inferencias o estilos de razonamiento : deducción e inducción. En realidad hay tres tipos de inferencias, dos de tipo sintético y uno analítico. El analítico es el deductivo, mientras que los sintéticos son inducción y abducción.
La única inferencia que establece conclusiones necesarias es la deducción, mientras que las otras dos sólo establecen conclusiones probables. Pero mientras que la deducción no genera información que no exista ya en las premisas, las inferencias sintéticas son las más fértiles en cuanto a generar conclusiones novedosas.