Джон Вен (англ.: John Venn; 4 жніўня 1834, Драйпул, паблізу Хала, — 4 красавіка 1923, Кембрыдж) — англійскі логік. Працаваў у галіне логікі класаў, дзе стварыў адмысловы графічны апарат (так званыя «дыяграмы Вена»), які знайшоў ужыванне ў логіка-матэматычнай тэорыі «фармальных нейронавых сетак». Вену належыць абгрунтаванне зваротных аперацый у лагічным вылічэнні Дж. Буля. Вен займаўся таксама імавернаснай логікай.