En lógica, se designa como inducción a un tipo de razonamiento que va de lo particular a lo general (concepción clásica) o bien a un tipo de razonamiento en donde se obtienen conclusiones tan sólo probables (concepción más moderna).