Венн (Venn) Джон (4.8.1834, Драйпул, близ Халла, — 4.4.1923, Кембридж), английский логик. Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей». В. принадлежит обоснование обратных операций в логическом исчислении Дж. Буля . В. занимался также вероятностной логикой.

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

  Лит.: Стяжкин Н. И., формирование математической логики, М., 1967; Гутчин И. Б., Кузичев А. С., Бионика и надёжность, М., 1967; Кузичев А. С., Диаграммы Венна, М., 1968.