Francis bacon 1561 1626

Es lógico que hasta entonces había sido logica formal atendiendo sólo a las formas y
encadenamiento de las ideas va a transformarse con Francis bacon en la lógica de los hechos
encaminada al descubrimiento de las leyes naturales mediante la inducción rechazando la
deducción.

Su principal obra fue Novum Organon nuevo instrumento en donde propuso un nuevo
instrumento para elaborar nuevos pensamientos en la que el mismo tiempo hizo la crítica a la
lógica aristotélica rechazando los aportes de Aristóteles.

Thomas hobbes 1588 1679

Considera el razonamiento como una especie de cálculo de signos

René Descartes 1596 1650

Establece como prueba demostrativa el procedimiento de la duda metódica.

Wilhelm leibniz 1644 1716

Desarrolló el álgebra lógica para formar conceptos juicios y razonamientos mediante la

combinación de símbolos.

Estableció la ley de tautología.

Introdujo el cálculo en su obra mathesis universalis demostrando la verdad de las afirmaciones

científicas y filosóficas a través de un lenguaje simbólico.

Consideró que para comprobar las verdades de los hechos es indispensable el principio de
razón suficiente denominándolo el gran principio.

Leibniz es considerado unánimemente como el gran precursor de la lógica formal y

matemática contemporánea como afirmaron bertrand Russell y Louis Couturat a principios del
siglo XX.

Immanuel Kant 1724-1804

Distingue entre la lógica formal y la lógica trascendental.

Estudió las antinomias de la razón.

Augusto de Morgan 1800 1871

Consideró que el silogismo no es más que una serie de combinaciones y relaciones de clases.

Planteó que la base común entre la lógica y la matemática son las relaciones de inclusión o
exclusión total o parcial de clases.

Enuncio las leyes de transitividad.

Inventó la expresión inducción matemática.

John Stuart mill 1806 1873

Fue el primer sistematizador de la lógica inductiva para él la inducción es el método universal

considera que todo nuestro conocimiento proviene de inducción es más o menos
generalizadas.
Planteó que la lógica es la ciencia de las operaciones intelectuales que sirven para la
estimación de la prueba.

George boole 1815 1873

Innovó la logica construyendo una teoría de las clases y sus elementos.

Planteó la relación entre la lógica de clases y la lógica proposicional.

Construyó el cálculo algebraico con símbolos y aportó también en el diseño de ordenadores o

computadoras.

Su obra más importante investigaciones de las leyes del pensamiento.

Venn 1834 1923

Aclaró los procedimientos algebraicos de bull a través de sus diagramas de Venn.

Trato de encontrar la significación lógica de operaciones como la sustracción y la división.

Edmundo Husserl 1859 1938

Representa no sólo una oposición tenaz contra el psicologismo sino también contra las
doctrinas kantiana.

Con su teoría llamada fenomenología lucha contra el psicologismo a favor de una posición
logica independiente de toda psicología.

El fin de la logica es para Houston la elaboración de las leyes que condicionan la conexión de
Verdades en la unidad de un sistema o teoría.

En su obra investigaciones lógicas establece la diferencia entre dos ciencias psicología y lógica.

Gottlob frege 1848 1925

Padre de la lógica moderna

Desarrollo el estudio de la logica predictiva.

Distingue entre ley y regla.

Establece diferencias entre constante y variable.

Independizó el cálculo lógico del cálculo matemático.

Inventó notaciones simbólicas como cuantificadores variables.

Distingue el lenguaje del metalenguaje

Su obra más importante es concepto grafía.

Giuseppe peano 1858 a 1932

Fue el primero en dar a la lógica el nombre de lógica matemática.

Consideró que la lógica es el instrumento de la matemática.

Propuso el uso de puntos auxiliares en reemplazo de los signos de agrupación.

Creó el primer ejemplo de fractal.