-
Es la historia del pensamiento histórico, la lógica formal representa la tradición de estudio e investigación en lógica mas desarrollada y consolidada.
-
Sin duda el padre de la lógica es Aristóteles pues sistematizó formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia.
-
Era considerada el arte de la discusión, el dialogo y la conversación, para argumentar o defender las creencias y puntos de vista.
-
Los sofistas aprenden a debatir tengas la razón o no, la verdad para ellos era aquella que vencía, fuer a o no correcta, licita o ilícita.
-
deja de ser el arte de la razón prudente para convertirse en la ciencia de la razón demostrada, el pensamiento deductivo es el principal.
-
-Identidad
-No-contradicción
-Tercero excluido
-Razón suficiente -
Se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental.
-
Es un proceso lógico muy importante porque tiene lugar en muchos de los razonamientos del día a día, es la base del razonamiento en las ciencias empíricas.
-
Pretende explicar el complejo movimiento de lo real en su devenir objetivo e histórico, se caracterizan como tesis, antítesis y síntesis.
-
Establecen la teoría de los tipos, analizan las paradojas y crean el lenguaje formalizado que mas se utiliza en la actualidad.
-
Axel Carbajal Martínez
Gael Najera Ogas
Yeremy Arriaga
Nadir Hernández Robles