Lógica Formal o Pura

Lógica Formal o Pura. También llamada lógica pura - que es la lógica propiamente dicha - es la rama del conocimiento filosófico dirigida a determinar cuáles son las formas correctas y válidas de los raciocinios; considerándolos en sí mismos con prescindencia de sus contenidos concretos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.