Este importante ramo da Matemática desenvolveu-se melhor, a partir da metade do século XIX, com a publicação, em 1849, do livro Investigações sobre...

O importante ramo da Matemática que se desenvolveu melhor a partir da metade do século XIX, com a publicação do livro "Investigações sobre as leis do pensamento" em 1849, é a Álgebra Booleana. George Boole, matemático inglês, é o criador dessa álgebra, que utiliza símbolos e operações algébricas para representar proposições e suas inter-relações. As ideias de Boole se tornaram a base da Lógica Simbólica, com aplicações em ramos como eletricidade, computação e eletrônica. O livro de Boole deu início à "simbolização" ou "matematização" da lógica, que consistiu em representar, por meio de uma linguagem simbólica artificial, o que Aristóteles havia começado em grego. A Álgebra Booleana é um conjunto de cálculos lógicos que contém infinitas formas válidas de argumentos.