John Venn, (született augusztus 4, 1834, Kingston upon Hull, Anglia-meghalt április 4, 1923, Cambridge), angol logikus és filozófus legismertebb, mint a feltaláló diagramok—ismert Venn diagramok—képviselő kategorikus javaslatok és érvényességének tesztelése kategorikus syllogisms. Ő is jelentősen hozzájárult a szimbolikus logika (más néven matematikai logika), valószínűségszámítás, és a filozófia a tudomány.
Venn Henry Venn anglikán lelkész és Martha Sykes Venn első gyermeke volt. Ő oktatta a tutorok és a magániskolákban, mielőtt Gonville és Caius College a Cambridge-i Egyetemen, ahol diplomát szerzett matematikából és lett egy fickó 1857-ben. 1859-ben anglikán pappá szentelték. Kinevezett előadó Gonville és Caius 1862-ben tanított logika és a filozófia a tudomány, később szenteli magát a történelem, a főiskola és a saját családja. 1883-ban lemondott a papságról, arra a következtetésre jutva, hogy az Anglikanizmus összeegyeztethetetlen filozófiai meggyőződésével. 1903-tól haláláig a Főiskola elnöke volt.
a nevét viselő diagramokat Venn vezette be az osztályok vagy halmazok közötti befogadás és kirekesztés viszonyának ábrázolására. Két vagy három egymást keresztező körből állnak, amelyek mindegyike egy osztályt képvisel, mindegyiket nagybetűvel jelölik. Az X kisbetűket és az árnyékolást arra használják, hogy jelezzék egy adott osztály (legalább egy) tagjának létezését, illetve nem létezését.
a két körös Venn-diagramok kategorikus állításokat képviselnek, amelyek alapvető formái a következők: “Minden A B”, “Nincs A B”, “néhány a B” és “néhány a nem B”.”A három kördiagramok (amelyekben minden kör metszi a másik kettőt) a szillogizmust képviselik, a deduktív érvelés ősi formáját, amely két kategorikus premisszából és egy kategorikus következtetésből áll. Egy példa:
egyes emlősök húsevők. Minden emlős állat. Ezért egyes állatok húsevők.
az ennek a szillogizmusnak megfelelő Venn-diagram:
ha miután mindkét premisszát ábrázolták a diagramban—univerzális (“minden” vagy “nem”) premisszák először—a következtetés is képviselteti magát, a szillogizmus érvényes (vagyis következtetése szükségszerűen a premisszáiból következik); ha nem, akkor érvénytelen. A fenti szillogizmus érvényes. A Venn-diagramokat hamarosan felismerték pedagógiai értékük miatt, és azóta a bevezető logika tantervének szokásos részét képezik.
Venn kifejlesztette diagramming módszerét a szimbolikus logikában (1881), amely elsősorban az angol matematikus George Boole kísérletének kifinomult védelme volt a logikai kapcsolatok algebrai kifejezésekkel való ábrázolására (lásd logic, history of: Boole and De Morgan). Ban ben a véletlen logikája (1866) Venn bemutatta a valószínűség frekvenciaelméletének első szisztematikus megfogalmazását, amely szerint egy esemény valószínűségének állításai előrejelzik, hogy az ilyen típusú események milyen gyakorisággal fordulnak elő hosszú távon, nem pedig a racionális ember azon meggyőződésének erősségének leírása, hogy ilyen események bekövetkeznek, amint azt az akkor uralkodó elmélet tartotta. Venn utolsó nagy filozófiai munkája, az empirikus vagy induktív logika alapelvei (1889) kritikája volt John Stuart Millinduktív beszámolója a tudományos érvelésről. 1897-ben Venn megjelent életrajzi története Gonville és Caius College, 1349-1897; ő öregdiák Cantabrigienses (1922), összeállított segítségével fia, egy történelmi listát a diákok, öregdiákok és tisztviselők Cambridge alapításától 1900-ig.