John Venn — British logician and philosopher (1834-1923)