Венн Джон (англ. John Venn; 4 августа 1834, Драйпул близ Халла — 4 апреля 1923, Кембридж) — английский логик.

Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей».

Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. В. занимался также вероятностной логикой.