Venn John (Džonas Vènas) 1834 08 04Kingston-upon-Hull 1923 04 04Kembridžas, anglų logikas, matematikas. Dr. (1884). 1853–57 studijavo Kembridžo universitete, 1862–92 jame dėstė. Sukūrė grafinį būdą klasių logikos ir kitoms logikos problemoms spręsti – vadinamąsias Venno diagramas. Plėtojo G. Boole’io matematinę logiką, tyrinėjo modalinės logikos ir tikimybinės logikos klausimus. Sukūrė įvykio tikimybės kaip statistinio įvykių dažnumo koncepciją. Svarbiausi veikalai: Tikimybės logika (The Logic of Chance 1866), Simbolinė logika (Symbolic Logic 1881), Empirinės, arba indukcinės, logikos principai (The Principles of Empirical or Inductive Logic 1889).
John Venn