-
Filósofo -
La lógica puede ser formal y material, es decir, puede proceder con y sin materia significativa.
-
Filósofo
-
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.
-
Matemático -
''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.
-
Filósofo
-
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.
-
Físico
-
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.
-
Filósofo
-
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.
-
Matemático y lógico
-
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
-
Matemático -
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.
-
Matemático -
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.
-
Lógico matemático
-
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.
-
Lógico -
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
