1. Lógica Clásica
1.1. Protágoras de Abdera
1.1.1. Introdujo la idea del Relativismo
1.2. Platón
1.2.1. Concebía dos mundos: El de las ideas y el de los objetos. Constituye junto con Aristóteles el legado más importante en materia de la lógica en la Grecia antigua.
1.3. Aristóteles
1.3.1. Se considera como el Padre de la Lógica Clásica
1.4. Euclides
1.4.1. Se conoce como el Padre de la Geometría.
2. Historia y Antecedentes
3. Definición: Es la Ciencia que estudia la forma y el contenido de los pensamientos.
4. El uso más temprano de matemáticas y de geometría en relación con la lógica y la filosofía se remonta a los griegos antiguos.
5. Lógica Matemática 1500-1800
5.1. René Descartes
5.1.1. Es considerado como el padre de la Filosofía Moderna y la Geometría Analítica. Su frase: "Pienso, luego existo".
5.2. Isaac Newton
5.2.1. Ley de la Gravitación Universal
5.3. Gottfried Wilhelm Leibniz
5.3.1. Es el precursor de la Lógica Matemática, introfujo la notación utilizada en Cálculo Diferencial e Integral.
6. Lógica Simbólica
6.1. Augustus de Morgan
6.1.1. Definió el término Inducción Matemática, el cual es un método de demostración de proposiciones.
6.2. George Boole
6.2.1. Utilizó el Álgebra de conjuntos utilizando cierta notación: SI, NO, Y, NO.
6.3. Georg Ferdinand Cantor
6.3.1. Creó la Teoría de Conjuntos.
6.3.2. Creó la Teoría de Conjuntos.
6.4. Gottlob Frege
6.4.1. Se considera como el Padre de la Lógica Matemática.
6.5. Giuseppe Peano
6.5.1. Desarrollo un conjunto de signos que se utilizan hasta la actualidad para definir razonamientos.
6.6. Bertrand Russell y Alfred North Whitehead
6.6.1. Realizaron aportaciones en cuestión de Lógica Matemática ala civilización occidental.
6.7. Kurt Gödel
6.7.1. Su teorema fue utilizado para el diseño de circuitos eléctricos, siendo el más grande aporte a la creación de las computadoras.
6.8. Alan Mathison Turing
6.8.1. Inventó una máquina capaz de realizar el proceso y mostrar su resultado, mediante la lectura de datos de entrada.
6.9. John McCarthy
6.9.1. Se considera como el Padre de la Inteligencia Artificial.