Giuseppe Peano
La enunciación de los principios del italiano Guiseppe Peano (1858-1932) acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten definir el conjunto de los números naturales.
David Hilbert
El matemático alemán David Hilbert (1862-1943) fue un enconado defensor de la axiomática como enfoque principal de los problemas científicos, esto es, a partir de un conjunto cerrado e inamovible de premisas para construir la base fundamental de cualquier estudio. A partir de las fuentes griegas de Euclides, publicó en 1899 su obra ''Fundamentos de Geometría'', en la que mediante un exhaustivo análisis y perfeccionamiento de las ideas euclidianas, formuló sus principios de axiomatización. Según sus teorías, es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado cualquier tipo de problema físico o matemático. Estos principios deben ser simbólicos, sin recurrir a dibujos y representaciones gráficas, y es necesario proveer la mayoría de las posibilidades con antelación. Su concepción reconocía tres sistemas de entes geométricos (puntos, rectas y planos) a los que podían aplicarse axiomas distribuidos en cinco diferentes categorías: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad.
Friedrich G. Frege
Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege (1848-1925) inicio 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.
.
PERIODO FORMALIZACIÓN DE LAS MATEMÁTICAS
Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas. esta llegó con la eliminación de los infinitesimales y la presencia de los límites como argumento. En este periodo se crea la lógica simbólica, la escuela formal, la lógica booleana, el cálculo proposicional, la inducción matemática.
George Boole
El lógico y matemático George Boole (1815-1864) aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una ''characteristica universalis'' o cálculo del raciocinio. 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.. Su obra principal es ''Investigación de las leyes del pensamiento'' en las que se fundan las teorías matemáticas de la lógica y la probabilidad (1854), que aun hoy se lee con deleite.
Bertrand Rusell
Bertrand Rusell (1872-1970) 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. Decididamente antiaristotélico, llegó a afirmar que quien quería iniciarse en la lógica debía comenzar por no estudiar la lógica de Aristóteles. Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los lenguajes, para eliminar las paradojas semánticas. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos. Este empeño culminó con la publicación (1910-1913) de los monumentales ''Principia Mathematica'' (en colaboración con Whitehead), obra que, además, sentaba las bases de la moderna lógica formal.
Gerhard Gentzen
El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética clásica, en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos .
Kurt Gödel
Kurt Gödel (1906-1978) 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 incompletéz semántica. En ''Sobre las proposiciones indecidibles de los sistemas de matemática formal'' establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de la matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización coherente de la misma tal que todo enunciado matemático verdadero admita demostración. Siempre habrá enunciados que no son demostrables ni refutables. Para probar esta aserción se sirvió de la matematización de la sintaxis lógica.
Augustus De Morgan
La mayor contribución de Augustus De Morgan (1806-1871) 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.
Georg F. Cantor
Al matemático alemán Georg F. Cantor (1845-1918) se debe la idea del ''infinito continuo'', es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales y de los conjuntos.
