-
Los grandes aportes contenidos en el libro, consisten, en llevar a cabo una completa formalización del lenguaje. Como consecuencia , se puede considerar la lógica desde una perspectiva matemática.. Con estos nuevos elementos, la nueva lógica mostrará otro alcance y profundidad, pudiéndose realizar en ella, no solo todas las operaciones que se podían realizar en la lógica clásica, sino que además, es posible solucionar problemas que ésta no solucionaba y también analizar nuevos tópicos.
-
La lógica simbólica es el acto de la creación de un lenguaje que hace uso de símbolos convencionales que representan estructuras para hacer frente a los complejos argumentos lógicos.
Su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la confusión. -
En su libro recopiló todos los avances de la segunda mitad del siglo XIXen sus "Lecciones sobre el álgebra de la lógica" (1890-1905) en tres volúmenes.
-
En su libro proponía fundamentar el razonamiento matemático mediante un lenguaje artificial que sustituyera por completo las expresiones de lenguaje natural que aparecen en los libros de matemáticas, así como mediante reglas de cálculo que sustituyese las reglas intuitivas que los matemáticos dan por buenas al razonar.
-
Consistió en el modo de cuantificar variables. Primero consiguió unificar la lógica de enunciados, la de
predicados y la de relaciones (de Peirce), mediante una sintaxis que tiene en cuenta tanto la estructura interna de las oraciones, como las conexiones entre ellas. -
Estableció los fundamentos de la lógica de relativos, modificó radicalmente, amplió y transformó el álgebra booleana; inventó la cópula de inclusión de dos nuevas álgebras lógicas, dos nuevos sistemas de grafos lógicos; descubrió la conexión entre la lógica de clases y la lógica proposicional.
Fue el primero en dar el principio fundamental para el desarrollo lógico de las matemáticas e hizo importantes aportaciones a la teoría de la probabilidad. -
Se le considera el primer manual de lógica simbólica contemporánea.
Es el libro con el que muchos lógicos de la segunda mitad del siglo XX han aprendido lógica. -
