lógica formal y dialecica

La lógica convierte la investigación de resultados cognoscitivos en su objeto, estudia las leyes que permiten a la mente aprehender la verdad, a saber las formas en que un juicio se deduce deotros.
La lógica formal: 1) se abstrae del contenido concreto de los juicios; 2) toma los juicios ya formados, dispuestos, sin analizar el proceso de la génesis, de su avance hacia la verdad; 3) partede la oposición absoluta entre la verdad y la mentira.
La ley de la identidad exige que toda noción empleada en el razonamiento tenga una sola y misma significación.
La ley de la no contradiccióndice que el razonamiento, como forma de deducción de un juicio partiendo de otros, puede existir y funcionar normalmente siempre que no se consideren verdaderos los juicios que se contradicenrecíprocamente.
La ley del tercero excluido, dos juicios en que uno niega al otro no pueden ser falsos al mismo tiempo; si uno de ellos es falso, el otro es verdadero y viceversa.
La ley de la razónsuficiente afirma que la veracidad de todo juicio ha de ser suficientemente argumentada.
En las formas del pensamiento, la lógica formal no investiga más que un contenido: el formal, es decir, el contenidoen que se basa la deducción de un juicio a partir de otro. El contenido formal es objetivo.
Toda forma del pensamiento, pertenece a la esfera que estudia la lógica formal y se le pueden aplicar loscriterios lógico-formales.
La lógica matemática es, una rama de la lógica formal.
La lógica formal moderna le antecedió la lógica formal clásica, que se basaba en la doctrina lógica de Aristóteles.Las peculiaridades de esa lógica eran las siguientes:
1. Constituía una parte de la filosofía.
2. La lógica clásica no era puramente formal.
3. Al analizar la estructura de las demostraciones, noconsideraba como factor primordial el juicio.
4. Desde el primer momento de su aparición, la lógica utilizó símbolos para designar las relaciones formales.
La lógica formal es una disciplina...