PRINCIPALES REPRESENTANTES DE LA LÓGICA.
EDAD ANTIGUA.- Se descubre los Principios lógicos, Aristóteles crea el primer sistema de
lógica formal.
PARMÉNIDES DE ELEA: Creador del “Principio de identidad”. Donde afirmo que la
razón es la única capaz de conocer el ser y la verdad de las cosas.
ZENÓN DE ELEA: Dio origen al método dialéctico, la reducción al absurdo. Sus
razonamientos se conoce como “aporías”. Que son paradojas.
DEMÓCRITO: Planteó el “Principio de la razón suficiente”
PROTÁGORA: Fue el primero en utilizar las oraciones en el plano sintáctico y
semántico.
SÓCRATES: Creador del método de la mayéutica.
PLATÓN: Descubrió el “Principio de no contradicción o contradicción”.
Obra “el sofista”
ARISTÓTELES: Es el padre de la Lógica.
Creador de la teoría del silogismo.
Descubrió el “principio del tercio excluido”.
Introdujo el uso de variables.
Desarrolló la Lógica de Predicados.
Obra: “el organon” ,compuesta de los libros:
Categorías: Estudia los términos.
Dela interpretación: Estudia los enunciados.
Primeros Analíticos: Estudia la argumentación.
Tópicos
Refutación Sofistica.
EDAD MEDIA.- Se concentraron en fundamentar la teología y seguir el sistema aristotélico.
TOMÁS DE AQUINO:
Seguidor de Aristóteles.
Buscó la demostración racional de la existencia de Dios así como de la
interpretación de los dogmas religiosos. Obra: Suma teológica.
DUNS SCOTO:
Aristotelista
Se opuso a Tomás de Aquino: La verdad se logra por la experiencia.
EDAD MODERNA.- La edad moderna marca el inicio de la Lógica Matemática. El siglo XIX
se caracteriza por el nivel de abstracción que alcanza la Lógica Matemática.
FRANCIS BACON:
En su Novum Organum, hace la primera formulación moderna del método
científico, expone métodos para determinar las relaciones de casualidad,
enuncia las bases empíricas del descubrimiento y la invención y desarrolla una
teoría de la experiencia. Se le conoce como el padre de la Lógica Inductiva.
LEIBNIZ:
Alemán precursor de la lógica moderna.
Desarrollo el cálculo de la lógica proposicional.
Estableció la ley de la tautología.
Formulo la ley de la Razón suficiente.
EULER:
Introdujo los diagramas que llevan su nombre para ilustrar geométricamente
los silogismos.
BOOLE:
Es uno de los más grandes innovadores de la lógica.
Elaboro el álgebra de Boole.
Construyó una teoría de las clases y sus elementos.
Planteó la relación entre lógica de clases y lógica proposicional.
Obra “Investigación de las leyes del pensamiento.
Creo la lógica simbólica moderna.
JHON VENN.- El mérito de Venn es básicamente el haber aclarado los procedimientos
de Boole representando los procesos algebraicos en los diagramas de Venn.
PEANO:
Fue el primero en dar nombre de Lógica Matemática.
Considero que la lógica es el instrumento de la Matemática.
WITTGEINSTEIN.- Ideo la tabla matriz para hallar los valores de verdad.