Principio de lógica

El gran matemático Gottfried Leibniz en 1646 fue el primero en intentar reformar la lógica clásica. Propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecánico y a éste esquema (lógica simbólica) lo llamó una característica universal.

Boole se le atribuye la invención de las tablas de verdad para comprobar la veracidad de proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra “Principio Matemático”, por esta razón la fundación de la lógica formal moderna se le atribuye a ellos.