Венн Джон

ВЕНН (Venn) Джон (4.8.1834, Драйпул, близ Халла - 4.4.1923, Кембридж), английский логик, член Лондонского королевского общества (1883). Окончил Кембриджский университет (1857), с 1862 года работал там же. Венн развивал логическое исчисление Дж. Буля; ему принадлежит обоснование обратных операций в этом исчислении. Создал особый графический аппарат (диаграммы Венна), нашедший широкое применение в математической логике, теории множеств, теории вероятностей; занимался также вероятностной логикой.

Соч.: The logic of chance. L., 1866; Symbolic logic. L., 1881; The principles of empirical or inductive logic. L., 1889.