Tanto la lógica formal como la teoría del conocimiento y el pensamiento sean correctos, adecuándose a sus leyes y principios. Esta corrección y validez que busca la lógica es, de carácter formal, es decir, estudia el pensamiento en sus distintas formas: conceptos, juicios, razonamientos o raciocinios descubriendo, así mismo, las leyes y reglas cuya observancia es indispensable para alcanzar la verdad formalmente correcta mediante un conocimiento inferido.
