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). La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica y no por el contenido específico del argumento o el lenguaje utilizado
