También ilustra la naturaleza de la lógica formal, que estudia los mecanismos de razonamiento, independientemente de la sustancia a la que se pueden aplicar.