Historia De La Lógica Computacional

HISTORIA DE LA LOGICA COMPUTACIONAL

La lógica computacional aborda el estudio de la lógica matemática desde la perspectiva de su aplicación al mundo de la computación, de aquí, se dice que el origen de la lógica computacional proviene en gran parte de la lógica matemática. Sin la lógica matemática los programas simplemente serían instrucciones aleatorias, donde la computadora podría elegircuál realizar primero.
Basados en esto, la historia de la lógica matemática comienza en la edad antigua en el año 600 AC al 300 AC en Grecia. Durante este periodo se desarrollaron los principios formales de las matemáticas, y se le llamo periodo clásico en donde sus principales representantes son: Los presocráticos, Por medio de la demostración y de la razón, resolvieron los primeros problemasmatemáticos; ya que tuvieron la curiosidad de descubrir el origen del mundo. Sócrates, Fue el fundador de la mayéutica, este método se basa en la argumentación, que por medio de preguntas se llega a resolver un problema, dado así este método se convierte un gran aporte a la lógica. Platón, utiliza la lógica formal como recurso para intentar resolver los problemas de la dialéctica, propone ideas oabstracciones; según platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existía gracias al mundo de las ideas. Aristóteles, es el fundador de la lógica y primero en convertir la lógica en el razonamiento deductivo y sistematizado, Aristóteles establece un recopilamiento de conocimientos acumulados y a partir de ellos un sistema lógico, expone argumentos yrazonamientos y Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo. Euclides, es el autor que establece el método axiomático. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.
En la edad media la lógica matemática mantiene la condición de ciencia propedéutica; conel desarrollo de la Lógica Simbólica. Trae algunos hombres que dieron ese pensamiento lógico, que ayudo a cada vez más a que la lógica matemática evolucione.
Bacon (1561-1626), lógica inductiva, Ciertamente Bacon fue el padre de la filosofía científica actual o el método científico, como se denomina frecuentemente, consiste en cuatro pasos bien conocidos: Observación de un sistema físico,Formulación de una hipótesis que intente explicar las observaciones realizadas al sistema, Predecir el comportamiento del sistema con base en la hipótesis formulada mediante el uso de la deducción lógica o matemática. Descartes (1596-1650), Método Científico, El matemático alemán Leibniz (1646-1716), fue el primero en, plantear una verdadera formalización de la lógica como cálculo matemático. El trabajoes completado a mediados del siglo XIX con los trabajos de los matemáticos ingleses Boole y De Morgan, que aplicaron a la lógica métodos algebraicos. G. Boole (1815-1864) Lógica Booleana, descubrió las tablas de verdad para las proposiciones y la forma normal disyuntiva (disyunción de conjunciones de literales), que introdujo con el nombre de la (ley de expansión). Fue el quien desarrolló unrazonamiento sistemático de la lógica de las proposiciones basado en el álgebra pura, cuyo trabajo llevó más tarde a lo que se conoce como el álgebra de la lógica. Augustus de Morgan (1806-1871), leyes distributivas de la negación de la lógica como cálculo matemático, Represento una extensión de la Silogística, introdujo conectivas proposicionales y sus leyes, así como una rudimentaria teoría derelaciones.
La Lógica Matemáticas se introduce de manera formal establecida por un método, este método consistía en llegar la verdad a través de procedimientos de pruebas.
El gran desarrollo de la lógica formal se produjo a finales del siglo XIX y primera mitad del XX, con las aportaciones de: Gottlob Frege(1848-1925): fundador de la lógica moderna y de la lógica de primer orden. Bertrand Russell...