John Venn, (born August 4, 1834, Kingston upon Hull, England—died April 4, 1923, Cambridge), English logician and philosopher best known as the inventor of diagrams—known as Venn diagrams—for representing categorical propositions and testing the validity of categorical syllogisms.