-
utiliza acusaciones algebraicas para representar afirmaciones lógicas.
Formalizo sendas teóricas por separado, de un modo que en aquel entonces era verdaderamente impactante, pero no llego a ver la profunda unidad que existía entre estas dos teorías. -
Reconoció que una de las principales limitaciones de a lógica de Aristóteles era su incapacidad para dar cuenta de las relaciones entre indiciduos.
-
Recopilo los avances de la segunda mitad del siglo XX en su "lecciones sobre el álgebra de la lógica" (1890-1905) en tres volúmenes.
-
Nace con "El análisis matemático de la lógica de Boole y supone la utilización de ecuaciones algebraicas para describir enunciados lógicos. La otra fuente se origina en la cinematografiara de Ferge.
-
Su aportación mas importante al lenguaje de la lógica consistió sin duda en el modo de cuantificar variables.
Consiguió unificar la lógica de enunciados, la de predicados y la de relaciones (de Frege).
Define un calculo para la lógica de predicados.
Crea el programa logicista. -
El primer manual de la lógica simbólica fue "Elementos de la lógica teórica" de David Hilbert y Wilhelm Ackermann