Es una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas válidas de inferencia, o sea que trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.