La inferencia es el objeto de estudio tradicional de la lógica (así como la materia es de la química y la vida es de la biología).