Historia de la Logica

Filósofo y matemático francés.
Creador de la Geometría Analítica y aporte a los métodos algebraicos.

Descubrió la Gravitación Universal

Filósofo y matemático.
Pensaba que se podía crear un lenguaje simbólico tan perfecto que evitara las controversias entre filósofos.

Teodosio Lares, que relaciono a la lógica con la Psicología o Clemente de Jesús Munguia, que reduce la lógica a la Ideología, la Gramática General y el Metodo

Intentaron expresar la forma de los razonamientos válidos en un lenguaje matemático.

Propusieron una lógica dialéctica (se presenta como un discurso en el que se contrapone una determinada concepción o tradición, entendida como tesis, y se muestran los problemas y contradicciones, entendidos como antítesis, se muestran los hechos históricos y sociales y sus contradicciones)

Afirmo que "todos los predicados dependen del conocimiento de la cantidad, con la que tratan las matemáticas, y, por lo tanto, el conjunto de la lógica depende de las matemáticas".

Formulación de las Leyes de Morgan.
Teoría del Desarrollo de las relaciones y la matemática simbólica o lógica matemática.

Lógico y Matemático.
Investigación de las leyes del pensamiento.

Nos da la lógica boleana, trata las oraciones o declaraciones como verdaderas o falsas.

Junto con Boole y Peano llevan a cabo la renovación y desarrollo de la lógica clásica hasta el momento.
El primero en elaborar una Teoría de la Cuanti..

Matemático alemán.
Enunciación de los principios acerca de la Lógica Matemática y su aplicación práctica en su obra Formulaire de Mathematiques.
Señala que la verdad se basa en demostrabilidad

Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.

Inventó la "Lógica simbólica clásica"

Matemático y Lógico alemán.
Fundador de la Escuela de la Lógica Intuicionista.

Escribió mas de 700 tratados de lógica.
Fue la base de la "Lógica tradicional" que domino hasta el siglo XX.

La informática se desarrollo a partir de la lógica, la teoría de la computación y algunas áreas relacionadas con las matemáticas.

Matemático, lógico y filósofo polaco.
Importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos y me..

Inicio un proyecto con Alfred North Whitehead pretendía demostrar que "toda la matemática pura trata exclusivamente de conceptos definibles en términos de un número muy reducido de principios lógicos"

Múltiples contribuciones a la lógica matemática.

Fue pionera en la primera lógica de multivalores

Demostró en contra de Frege y Rusell, que la aritmética no es reducible a ningún sistema axiomático completo