John Venn, (syntynyt 4.elokuuta 1834 Kingston upon Hull, Englanti—kuoli 4. huhtikuuta 1923 Cambridge), englantilainen loogikko ja filosofi, joka tunnetaan parhaiten Venn—diagrammien keksijänä kategoristen propositioiden esittämiseksi ja kategoristen syllogismien pätevyyden testaamiseksi. Hän teki myös merkittäviä osuuksia symbolinen logiikka (kutsutaan myös matemaattinen logiikka), todennäköisyyslaskenta, ja filosofian tieteen.
Venn oli anglikaanisen papin Henry Vennin ja Martha Sykes Vennin ensimmäinen lapsi. Hän oli koulutettu ohjaajien ja yksityiskouluissa ennen Gonville ja Caius College Cambridgen yliopistossa, jossa hän valmistui jonkin verran matematiikkaa ja tuli fellow vuonna 1857. Hänet vihittiin Anglikaaniseksi papiksi 1859. Nimitetty luennoitsijana Gonville ja Caius vuonna 1862, hän opetti logiikkaa ja filosofian tieteen, myöhemmin omistautunut itse historian college ja oman perheensä. Hän erosi papistosta vuonna 1883 tultuaan siihen tulokseen, että Anglikaanisuus oli ristiriidassa hänen filosofisten vakaumustensa kanssa. Hän toimi yliopiston rehtorina vuodesta 1903 kuolemaansa saakka.
Venn otti käyttöön hänen nimeään kantavat diagrammit, joilla kuvattiin luokkien eli joukkojen välisiä osallisuuden ja syrjäytymisen suhteita. Ne koostuvat kahdesta tai kolmesta leikkaavasta ympyrästä, joista jokainen edustaa luokkaa ja joista jokainen on merkitty isolla kirjaimella. Pienaakkosia x: ää ja varjostusta käytetään osoittamaan jonkin (vähintään yhden) tietyn luokan jäsenen olemassaoloa ja olemattomuutta.
kahden ympyrän Venn-diagrammit edustavat kategorisia propositioita, joiden perusmuodot ovat: ”kaikki A ovat B”, ”ei a ole B”, ”jotkut A ovat B” ja ”jotkut A eivät ole B.”Kolmen ympyrän diagrammit (joissa kukin ympyrä leikkaa kaksi muuta) edustavat syllogismeja, ikivanhaa deduktiivisen argumentin muotoa, joka koostuu kahdesta kategorisesta premissiosta ja kategorisesta johtopäätöksestä. Esimerkki on:
jotkin nisäkkäät ovat lihansyöjiä. Kaikki nisäkkäät ovat eläimiä. Siksi jotkut eläimet ovat lihansyöjiä.
tätä syllogismia vastaava Venn-Diagrammi on:
jos sen jälkeen, kun molemmat premissiot on esitetty diagrammissa—Universaalit (”kaikki” tai ”ei”) premissiot ensin—myös johtopäätös esitetään, syllogismi on pätevä (eli sen johtopäätös seuraa välttämättä sen premissioista); jos ei, se on virheellinen. Yllä oleva syllogismi on pätevä. Venn-diagrammit huomattiin pian niiden pedagogisesta arvosta, ja ne ovat siitä lähtien olleet perusosa opetussuunnitelmassa johdantologiikassa.
Venn kehitti Diagrammausmenetelmänsä symbolisessa logiikassa (1881), joka oli lähinnä hienostunutta puolustusta englantilaisen matemaatikon George Boolen pyrkimykselle esittää loogisia suhteita algebrallisin termein (KS.logic, history of: Boole and De Morgan). In the Logic of Chance (1866) Venn esitti ensimmäisen systemaattisen muotoilun taajuusteorian todennäköisyydellä, jonka mukaan lausumat todennäköisyys tapahtuma ovat ennusteita siitä taajuudesta, jolla tapahtumia, jotka tyyppi esiintyy pitkällä aikavälillä, sen sijaan, että kuvaukset vahvuus on järkevä henkilö usko, että tällaisia tapahtumia tapahtuu, koska sitten hallitseva teoria hallussa. Vennin viimeinen merkittävä filosofinen teos ”The Principles of Empirical or Inductive Logic” (1889) oli John Stuart Millin tieteellisen päättelyn induktiivisen selityksen kritiikki. Sisään 1897 Venn julkaistu elämäkerrallinen historia Gonville ja Caius College, 1349-1897; hänen Alumni Cantabrigienses (1922), koottu avulla hänen poikansa, on historiallinen luettelo opiskelijoiden, alumni, ja virkamiesten Cambridge sen perustamisesta vuoteen 1900.