Augustus De Morgan (1806-1871)

Matemático y lógico inglés. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones (Aœ · Bœ es equivalente a A Ë B)»; «la negación de la disyunción es equivalente a la conjunción de las negaciones. (Aœ Ë Bœ es equivalente a A · B)». Obra principal: «La lógica formal o el cálculo de inferencias necesarias y probables» (1847).