-
384 BCE
Aristoteles de Estagira
Se considera que Aristóteles fue el fundador de la lógica, allá por el siglo IV a. C. Aristóteles definió la lógica como "ciencia que estudia los razonamientos correctos".
Aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico. -
287 BCE
Teofrasto y Eudemo
Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones. -
280 BCE
Crisipo de Soli 280 a.C -206 a.C
Crisipo no tuvo ningun impacto en la historia de la logica durante 1500 años ya que la mayor parte de sus escritos se perdieron.
Pero sus aportaciones son que desplazo el centro de interes de la logica de los enunciados simples con sujeto y predicado a los enunciados complejos. -
227 BCE
Platon (227 a.C-347a.C)
Propone instaurar en Siracusa una utopica republica dirigida por filósofos. Crea la Academia de Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Sostiene la existencia de dos mundos: el mundo de las ideas y el de mundo físico de los objetos. Según Platon, lo concreto se percibe a función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las idas. -
1201
Lógica Medieval (1201 d.C - 1500 d.C)
La Lógica Medieval es un periodo del 1201 d.C - 1500 d.C se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y estudiada en los conventos, escuelas y universidades de Europa Occidental. Los estudios de los lógicos Pedro Hispano y Juan Buridan sobre el Organon establecieron que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
Lógica Matemática (1500-1800)
El Renacimiento es el inicio de una nueva revolución que que revive la ciencia y las matemáticas, en donde destacan René Descartes , Isaac Newton,Leonhard Euler y el mas importante de ellos tres Guillermo G. Leibriz.
René Descartes (1596-1650) fue filosofo matemático francés 1596-1650, algunas de sus aportaciones son la creación de la geometría analítica a la vez que aporta un corpus cuantitativo al asunto y permite el uso de métodos algebraicos. -
Isaac Newton (1642-1727)
Se le debe el descubrimiento de la gravitación universal, el desarrollo del calculo infinitesimal e importantes descubrimientos sobre la óptica, así como las leyes de la mecánica clásica que alimentaria el nacimiento de la mecánica cuántica.
Su obra fundamental, Principios matemáticos de la filosofía natural. -
Gottfried W. Leibniz (1642-1727)
Introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional.
Propuso la primer teoría autentica de la verdad. -
Leonhard Euler (1707-1783)
Introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismo.
Hizo aportaciones muy diversas en campos como la aritmética, la física, la astronomía o la geografía. Gracias a su trabajo, hoy en días las cuestiones matemáticas y físicas se representan en términos aritméticos. -
Georg Wilhelm Friedrich Hegel (1770-1831)
El precursor de La Lógica Dialéctica es Georg Wilhelm Friedrich Hegel.
Fue un Filosofo Alemán fascinado por la obra de Kant y Rousseau.
Autor de la ciencia de la lógica se le atribuye con este trabajo la constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades del universo. -
Nikolai I. Lobachevsky (1792-1856)
Matemático ruso, funda la Geometría no Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría. Lobachevsky lleva a cabo su revolución en el planteamiento que hasta entonces había utilizado la ciencia Matemática para resolver el enigma del quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para adentrarse en los renovados campos de lo físico y lo real. -
La Lógica en la Edad Contemporánea
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno.
Hamilton fue un filósofo idealista y lógico inglés, concibiendo el conocimiento como “averiguación de las condiciones” de existencia del objeto, negaba la verdad objetiva y adoptaba una posición agnóstica; “lo absoluto”, es decir, la realidad material. -
Augusto de Morgan (1806-1871)
El considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases.
En el estudio de la lógica incluye la formulación de la Leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y las matemática simbólica moderna o lógica matemática. De Morgan es un autor de la mayor contribución como reformador de la lógica. -
George Boole (1815-1864) y John Venn (1834-1923)
George Boole construye la Teoría de clases, Venn aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.
Boole fue lógico y matemático, aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica,realizo el empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y ecuaciones entre ellas. -
Georg. F Cantor (1845-1918)
El matematico, físico y filosofo Aleman Georg F. Cantor, se le debe la idea del infinito continuo, es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales y de los conjuntos. -
Lógica Moderna Friedrich G. Frege (1848-1925)
La lógica moderna inicia en 1879 en donde Gottlob Frege,introduce un calculo proposicional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas.
Frege fue matemático y lógico,partiendo del análisis de los fundamentos de la matemática lleva a cabo la mas profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificaciòn. -
Guiseppe Peano (1858-1932)
Da a la logica el nombre de Logica Mtematica creando un lenguje simbolico,propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los numeros naturales. -
Bertrand Russel (1872-1976)
En su obra “Los Principios de la matemática” propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones.
Es uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.Lo fundamental en su obra es aportación a la Lógica. Conociendo los trabajos de Cantor descubre en la Teoría de Conjuntos que resuelve mediante la Teoría de los Tipos. -
Ludwing Wittgenstein (1889-1951)
Da un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
Sometió a crítica el supuesto básico del Tractatus de que la lógica posee una relación privilegiada con la estructura del mundo. Consideró que ésta correspondía tan sólo a uno de los posibles usos del lenguaje (en modo declarativo y descriptivo), pero que no tenía en cuenta la lista abierta de «juegos de lenguaje» -
Rudolf Carnap (1891-1970)
Partiendo de las tesis del Tractatus lógico-philosophicus (1921) de Wittgenstein, llego al punto de afirmar que el sentido de un término depende de su verificación empírica. Carnap se interesó especialmente por la construcción de sistemas lógicos, así como por el análisis del discurso científico, en obras como La estructura lógica del mundo (1928) o la sintaxis lógica del lenguaje (1934). También realizó importantes aportaciones en Fundamentos lógicos de la probabilidad (1950). -
Alan Turing (1912-1954)
Es precisamente al plantearse la lógica como un cálculo o sistema formal axiomático cuando se pusieron las bases de los actuales computadores u ordenadores.
Fue Turing,quien diseñó de forma teórica la manera en que esto podía realizarse, la ingeniería y la electrónica hicieron el resto.
El cálculo se realiza mediante un lenguaje simbólico bien definido es un procedimiento mecánico que puede ser, en principio, llevado a cabo por una máquina.
