-
Period: to
El álgebra de la lógica de Boole
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. -
Period: to
Charles S. Peirce
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. -
Period: to
Ernst Schöder
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. -
Period: to
Lógica simbólica
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. -
Period: to
La escritura conceptual de Frege
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. -
Manual de la lógica simbólica
El primer manual de la lógica simbólica fue "Elementos de la lógica teórica" de David Hilbert y Wilhelm Ackermann