La lógica formal es la doctrina sobre las formas del raciocinio humano; doctrina que establece un divorcio entre el estudio de estas formas y su contenido (la Naturaleza y la Sociedad).
se divide en tres leyes
La tercera ley
ley de la exclusión del tercero, proclama: “algo es o A, o no A; el tercero es imposible”. La fórmula de esta ley, de “o es, o no es”, bajo el aspecto que le da la lógica formal, es metafísica, abstracta, insustancial.
La primera ley
se expresa mediante la fórmula: “A es A”, que significa: todo objeto y todo concepto siempre son iguales a sí mismos.
La segunda ley
ley de la contradicción, proclama: “A, no puede ser simultáneamente A y no A”; es decir, otra vez la afirmación de que el objeto siempre posee sólo una propiedad idéntica y no puede tener propiedades contrarias, recíprocamente excluyentes.