1
Primero en intentar reformar la lógica clásica
2
Junto a Boole hizo notar el parentesco entre las operaciones lógicas con las matemáticas
3
Es uno de los escritores de la obra “Principio Matemático”
4
Se le atribuye la lógica formal moderna
5
Considerado el padre de la logica
6
Se le atribuye la invención de las tablas de verdad para comprobar la veracidad de proposiciones compuestas