John Venn

(Drypool, 1834 - Cambridge, 1923) Matemático y lógico británico a quien se deben los diagramas que llevan su nombre.

John Venn

Miembro de una familia piadosa, a los veinticinco años se ordenó sacerdote y desde 1862 ejerció la docencia como profesor de lógica y filosofía de la ciencia en Cambridge, donde residiría hasta su fallecimiento. Hacia 1883, sin embargo, abandonó el sacerdocio por considerar incompatible el anglicanismo con sus creencias filosóficas.

Considerado uno de los creadores de la lógica matemática, John Venn descolló por sus investigaciones en lógica inductiva. Es especialmente conocido por su método de representación gráfica de proposiciones (según su cualidad y cantidad) y silogismos. Los diagramas de Venn permiten, además, una comprobación de la verdad o falsedad de un silogismo.

Representación de proposiciones con diagramas de Venn (tabla incluida en su obra Lógica simbólica, 1881