John Venn
Venn John (Džonas Vènas) 1834 08 04Kingston-upon-Hull 1923 04 04Kembridžas, anglų logikas, matematikas. Dr. (1884).
Išsilavinimas ir veikla
1853–57 studijavo Kembridžo universitete, 1862–92 jame dėstė.
Idėjos
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ą.
Veikalai
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).