Venn
Venn John (Hull, Yorkshire, 1834 - Cambridge, Cambridgeshire, 1923) filosofo, logico e matematico inglese. Compì i suoi studi a Cambridge, dove si laureò nel 1857, rimanendovi come docente dal 1862 fino alla morte. Due anni dopo la laurea fu ordinato sacerdote, ma nel 1883, divenuto membro della Royal Society di Londra, abbandonò il sacerdozio. In logica fu seguace di G. Boole, di cui espose il calcolo logico con alcuni contributi personali. Analizzò, soprattutto, i vari tipi di proposizione aristotelica in termini di esclusione e inclusione di classi e introdusse un metodo grafico (simile a quello di Eulero) per rappresentare queste relazioni (diagrammi di Venn). Studioso di teoria della probabilità, ne propose una interpretazione frequentistica. Tra le sue opere si ricordano The logic of chance (Logica della possibilità, 1866), Symbolic logic (Logica simbolica, 1881) e The principles of empirical or inductive logic (Principi di logica empirica o induttiva, 1889).