-
427 BCE
PLATÓN
Filósofo -
Period: 427 BCE to 347
Platón y el Silogismo
La lógica puede ser formal y material, es decir, puede proceder con y sin materia significativa. -
384 BCE
ARISTÓTELES
Filósofo -
Period: 384 BCE to 322 BCE
Aristóteles y los tratados de la lógica
Conocidos como Organón, contienen el primer tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Estos representan el primer intento de establecer a la lógica como ciencia. Aristóteles da una clasificación de todos los conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y accidente) y trata las reglas del razonamiento silogístico. -
354 BCE
EUCLIDES
Matemático -
Period: 354 to 275 BCE
"Elementos" y teoremas lógicos
''Elementos'', sin duda el texto matemático más conocido a lo largo de la historia. Los ''Elementos'' están divididos en trece libros y constituyen una recopilación de gran parte de las matemáticas conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso del método deductivo, distinguiendo entre principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a partir de los principios. Los principios de naturaleza lógica. -
RENÉ DESCARTES
Filósofo -
Period: to
Método Científico
Descartes realiza una crítica del razonamiento lógico, y en concreto del silogístico, como medio para avanzar en la obtención de nuevos conocimientos. Un silogismo es un tipo de argumento lógico que permite obtener un enunciado, llamado conclusión a partir de la combinación de otros dos, llamados premisas. -
ISAAC NEWTON
Físico -
Period: to
Lógica experimental
Su lógica también se aplica a la productividad. Newton revolucionó la historia de la ciencia con sus leyes. Y gracias a su aplicación lógica se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica. -
LEIBNIZ
Filósofo -
Period: to
Superación de la lógica aristotélica
Leibniz exige un orden lógico en los conocimientos de cada región de la Enciclopedia. La forma lógica, de la que nace dicho orden y hace posible la consolidación del sistema total de la Enciclopedia, consiste en la unión de los dos procedimientos máximos de llegar a lo desconocido: el análisis y la síntesis. -
FRIEDRICH G. FREGE
Matemático y lógico -
Period: to
Lógica clásica
Inició la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación -
GEORGE BOOLE
Matemático -
Period: to
Álgebra de la lógica
Aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica. El empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio un método general para formalizar la inferencia deductiva, representando complicados raciocinios mediante sencillos sistemas de ecuaciones. Así, la conclusión de un silogismo se encuentra eliminando el término medio de un sistema de tres ecuaciones. -
AUGUSTUS DE MORGAN
Matemático -
Period: to
Leyes de Morgan
La mayor contribución de Augustus De Morgan en el estudio de la lógica incluye la formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. De Morgan hizo su más grande contribución como reformador de la lógica. -
BERTRAND RUSELL
Lógico matemático -
Period: to
Lógica formal
Es uno de 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 de su obra está en sus aportes a la lógica. Rusell se propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos. -
KURT GODEL
Lógico -
Period: to
Lógica sistemática formal
Tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica.
-Sintaxis lógica