HISTORIA DE LA LOGICA, ANTECEDENTES Y RELACION DE LA LOGICA CON OTRAS CIENCIAS.

1. August de Morgan(1806-1871) Hizo grandes aportaciones en materia de logica y Matematicas.

2. George Ferinand Cantor(1845-1918). Creo la teoria de Conjuntos.

3. Giuseppe Peano (1858-1932)Desarrollo un conjunto de signos que aun en la actualidad se utilizan para definir razonamientos.

4. Alan Mathison Turing (1912-1954) Sento las bases del concepto moderno de algoritmo.

5. Euclides (265 - 365 a.C). Sus aportaciones mas relevantes fueron en materia de Geometria Plana.

6. Rene Descartes (1596 - 1650) Es considerado el Padre de la Filosofia Moderna y de la Geometria Analitica.

7. Isaac Newton ( 1642-1727) Se le atribuyen innumerables aportaciones. Ley de la Gravitacion Universal, Leyes del Movimiento.

8. LOGICA CLASICA. Este periodo tuvo auge en Grecia, se desarrolla los principios formales de las matematicas.

9. LOGICA SIMBOLICA: En este periodo se retoma la rigurosidad de la enseñanza de las matematicas,

10. REVOLUCION DIGITAL (1956-1976). Se caracteriza por la aparicion de laas computadoras digitales, telefonia celular e internet.

11. Platón (347-427 a.c) Concebia dos mundos, el de las ideas y el de los objetos.

12. Aristoteles( 322 -384 a.C.)Fue el primero en tratar de formalizando el Razonamiento Humano, utilizando el lenguaje ordinario.

13. Gottfried Wilhelm Leibniz (1646-1716) Fue el primero en formular la logica como base del razonamiento(Logica Moderna).

14. Gorge Boole (1815-1864)Bool retomo los trabajos de Leibniz y formalizo la idea de construir la logica, mediante calculos matematicos con la utilizacion de un nuevo lenguaje que lo llamo algebra boleana.

15. Gottlob Frege (1848-1925) Se le considera como padre de la logica matematica.

16. Bertran Russell (1872-1970), North Whitehead(1981-1947)Ellos argumentaban que la Matematica se derivaba de la logica.

17. Jonh McCarthy (1927-2011)Se le considera pare de la Inteligencia Artificial.

18. LOGICA MATEMATICA: Durante este períoo, los filosofos y matematicos hivieron aportaciones fundamentales para concebir la union de la logica y las matematicas.

19. LOGICA INFORMATICA: Surgio la necesiad de determinar la posibilidad de desarrollar programas automaticamente la demostracion de teoremas.