John Venn, (född 4 augusti 1834, Kingston upon Hull, England—dog 4 April 1923, Cambridge), engelsk logiker och filosof mest känd som uppfinnaren av diagram—känd som Venn—diagram-för att representera kategoriska propositioner och testa giltigheten av kategoriska syllogismer. Han gjorde också viktiga bidrag till symbolisk logik (även kallad matematisk logik), sannolikhetsteori och vetenskapsfilosofi.
Venn var det första barnet till Henry Venn, en anglikansk präst, och Martha Sykes Venn. Han utbildades av handledare och i privata skolor innan han gick in i Gonville och Caius College vid University of Cambridge, där han tog examen i matematik och blev stipendiat 1857. Han ordinerades en anglikansk präst 1859. Utnämnd till föreläsare vid Gonville och Caius 1862 undervisade han i logik och vetenskapsfilosofi och ägnade sig senare åt högskolans och sin egen familjs historia. Han avgick från prästerskapet 1883 och drog slutsatsen att anglikanismen var oförenlig med hans filosofiska övertygelse. Han tjänstgjorde som college president från 1903 till sin död.
diagrammen som bär hans namn introducerades av Venn som ett sätt att skildra relationer mellan inkludering och uteslutning mellan klasser eller uppsättningar. De består av två eller tre korsande cirklar, var och en representerar en klass och var och en märkt med en stor bokstav. Små bokstäver x och skuggning används för att indikera förekomsten respektive icke-existensen av någon (minst en) medlem i en viss klass.
Tvåcirkels Venn-diagram representerar kategoriska propositioner, vars grundläggande former är:” alla A är B”,” Nej A är B”,” vissa a är B ”och” vissa a är inte B.”Trecirkeldiagram (där varje cirkel skär de andra två) representerar syllogismer, en gammal form av deduktivt argument som består av två kategoriska lokaler och en kategorisk slutsats. Ett exempel är:
vissa däggdjur är köttätare. Alla däggdjur är djur. Därför är vissa djur köttätare.
Venn-diagrammet som motsvarar denna syllogism är:
om, efter att båda lokalerna har representerats i diagrammet—universella (”alla” eller ”Nej”) lokaler först—är slutsatsen också representerad, är syllogismen giltig (dvs dess slutsats följer nödvändigtvis från dess lokaler); om inte, är den ogiltig. Syllogismen ovan är giltig. Venn-diagram erkändes snart för sitt pedagogiska värde, och de har sedan dess varit en vanlig del av läroplanen i introduktionslogik.
Venn utvecklade sin diagrammetod i symbolisk logik (1881), ett arbete som främst var ett sofistikerat försvar av den Engelska matematiker George Boole försök att representera logiska relationer i algebraiska termer (se logik, historia: Boole och De Morgan). I Slumplogiken (1866) presenterade Venn den första systematiska formuleringen av sannolikhetsteorin, enligt vilken uttalanden om sannolikheten för en händelse är förutsägelser om hur ofta händelser av den typen kommer att inträffa på lång sikt, snarare än beskrivningar av styrkan hos en rationell persons tro på att sådana händelser kommer att inträffa, som den då regerande teorin höll. Venns sista stora filosofiska verk, principerna för empirisk eller induktiv logik (1889), var en kritik av John Stuart Mills induktiva redogörelse för vetenskapligt resonemang. 1897 publicerade Venn biografisk historia om Gonville och Caius College, 1349-1897; hans alumner Cantabrigienses (1922), sammanställd med hjälp av sin son, är en historisk lista över studenter, alumner och tjänstemän i Cambridge från grundandet till 1900.