-
Platón (428 A.C- 347 A.C)
Concibe la lógica como una dialéctica, ya que el dialogo es el arte de la interrogación y la respuesta. -
Principales creadores.
Esfuerzos por conseguir el Arje -
Heraclito de Efeso (535 A.C- 475 A.C)
Sostiene que todo cuanto existe se halla en constante devenir. Por lo tanto todo cambia constantemente. ''Logos, como ley universal.'' -
Parmenides de Elea (580 A.C- 460 A.C)
Propone que todo cuanto existe es el ser, para Parmenides el ''no ser'', es imposible, ya que al pensar algo ya se hace existnte. -
Zenon de Elea (490 A.C - 430 A.C)
Desarrolla la dialéctica como gemera de la lógica. Invento las Aporia; establece la afinación y negación, por tanto el juicio. -
Democrito de Abdera (460 A.C - 370A.C)
Fundador de teoría. Utiliza por primera vez la palabra lógica, "Uno debe empeñarse en pensar mucho, no en saber mucho". -
Los Sofistas (450 A.C- 400 A.C)
Sostienen el Pro y el Contra, en cualquier cuestión. Hacían énfasis a '' el hombre es la medida de toda las cosas''. Apoyaban que solo es verdadero y bueno si es aceptado por uno. -
Sócrates (470 A.C- 400A.C)
Creador de método inductivo, descubridor de la síntesis, inventor de las definiciones, descubridor de la idea universal. También creador de la mayeutica. Utilizaba la ironía para confundir a quien se encontraba en el error. -
Aristóteles
Promovedor de la lógica. Fue el verdadero creador de esa ciencia, fue el primero en volverla disciplina aparte -
Miguel Psellos (Nicomedia, c. 1018 - 1078)
Su pensamiento e interes se centra en las cuestiones éticas y religiosas. En todos sus escritos, muestra la inquietud entre la simple compilación de teorías y la actitud del filósofo que trata de establecer su propia verdad, sin salirse nunca del marco de los dogmas. -
Pedro Abelardo (Le Pallet, 1079-priorato de Saint-Marcel, 1142)
Dio a la lógica impulso con su teoría de la abstracción y filosofía del lenguaje. -
Guillermo de Shyreswood
Fue uno de los filósofos medievales que mas contribuyeron al desarrollo de la lógica, donde incluye su obra principal. -
Santo Tomas De Aquino (1225-1274)
-
Gottlob Frege (1848-1925)
Lo fundamento de la aritmética, establecen formalmente las tablas de verdad, desarrolla rigurosamente la aritmética mediante la lógica simbólica. -
Augusto De Morgan (1806-1871
Lógica formal, hace un análisis lógico de las leyes, símbolos y operaciones matemáticas, realizando un análisis matemático de la lógica. -
George Boole (1815-1864)
Establece la primera formulación sistemática de la lógica simbólica; introduce el álgebra lógica, entiende pues el proceso de calculo matemático al terreno de la lógica. -
Bertrand Russell (1872-1970)
Reduce formalmente la aritmética a la lógica, y desarrolla la lógica de las relaciones. -
Charle Sanders Peirce (1839-194)
Contribuye al desarrollo de la lógica matemática, en el terreno de las relaciones entre clase y aporta la llamadas "tablas de verdad". -
Giuseppe Peano (1858-1932)
Hace un análisis del proceso demostrativo de la matemática,establece la formulación axiomática de la aritmética y proyecta una legua filosófica; fue el primero en emplear la expresión "Lógica Matemática". -
John Venn (1834-1923)
Diagramas tecnológicos para la representación de las funciones lógicas. -
John Stuart Mill (1806-1873)
Lógica Positivista fundada en el análisis de los métodos científicos. -
Georg Wilhelm Friedrich Hegel (1770-1831)
Concibe la logia como la ciencia de la "idea pura".
Todo lo racionales real y todo lo real es racional. -
Leonhard Euler (1707-1783)
Establece la representación gráfica de las relaciones lógicas por medio de ciertas figura geométricas. -
Kurt Gödel (1906-1978)
Autor de un famoso teorema de la incompletitud, con la prueba de que la teoría numérica elemental y cualquier lógica suficientemente rica para alejarla.