English logician and philosopher best known as the inventor of diagram (known as Venn diagram) for representing categorical propositions and testing the validity of categorical syllogisms. He also made important contributions to symbolic logic (also called mathematical logic), probability theory, and the philosophy of science.