-
Diego Alejandro Gutierrez Tibocha
Razonamiento cuantitativo Grupo 55
UGC
Linea del tiempo de la Lógica
06/08/2020 -
Durante este periodo, Platón plantea la existencia de dos mundos: el mundo de las ideas y el mundo físico de los objetos. Habla del diálogo como la forma de transmisión del pensamiento
-
Este no hace de la lógica una disciplina metafísica, si no que establece correspondencias recíprocas entre el pensamiento lógico y la estructura ontológica.
-
El Renacimiento inicia una nueva revolución de la ciencia y las matemáticas. Descartes crea la Geometria Analitica y realiza un aporte a los métodos algebraicos. Newton descubre la Gravitación Universal. Leibniz crea un nuevo método para la determinación de los máximos y los mínimos.
-
Autor de "ciencia de la lógica" por lo cual se le atribuye la constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.
-
Kant, propone una lógica formal, en la cual ningún contenido es objeto del conocimiento lógico, ya que de la "cosa en sí", no podemos tener conocimiento; solo podemos hablar de la cosa como se me presenta
-
Parte del análisis de los fundamentos de la matemática lleca a cabo la mas profunda renovación y desarrollo de la lógica clásica, ademas es el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación.
-
Empieza con la invención de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lógica y computación. Norbert Wiener funda la ciencia de la Cibernética. Estos son lógicos que han permitido avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de verificación y deducción de programas a partir de especificaciones.
-
Incorpora la fusión entre matemáticas y computación. Las computadoras tienden a explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento interconectadas a través de la Red a escala infinitesimal
