Este documento contrasta la lógica natural con la lógica formal. La lógica natural es la capacidad humana de razonar y comunicar pensamientos a través del lenguaje, mientras que la lógica formal es la disciplina filosófica estudiada por Aristóteles que examina los métodos y principios del razonamiento. También describe los principios lógicos de identidad, no contradicción y tercero excluido.