John Venn licenciou-se na Universidade de Cambridge em 1857; dois anos mais tarde foi ordenado padre. Em 1862 voltou para a Universidade de Cambridge como um leitor em Ciências Morais, estudando técnicas lógicas e a teoria da probabilidade.
Desenvolveu a lógica matemática de Boole, tendo estabelecido uma forma de representação gráfica das intersecções e uniões de conjuntos, através de diagramas que levam o seu nome. Por exemplo, Venn representou 3 círculos R, S, e T como objectos típicos de um conjunto U. As intersecções desses círculos e seus complementos dividem U em 8 regiões disjuntas, havendo na relação de cada um deles com os outros 256 combinações booleanas diferentes.
Publicou, em 1866, Logic of Chance que foi considerado muito original e influenciou o desenvolvimento da estatística. Em 1881, lançou Symbolic Logic e, em 1889, The Principles of Empirical Logic.
Publicações
Venn compilou Alumni Cantabrigienses, um registro biográfico de ex-membros da Universidade de Cambridge.[3] Seus outros trabalhos incluem: