Es una ciencia formal que no tiene contenido, ya que se dedica al estudio de las formas válidas de inferencia.