John Venn, (født 4.August 1834, Kingston upon Hull, England—død 4. April 1923, Cambridge), engelsk logiker og filosof bedst kendt som opfinderen af diagrammer—kendt som Venn—diagrammer-for at repræsentere kategoriske propositioner og teste gyldigheden af kategoriske syllogismer. Han leverede også vigtige bidrag til symbolsk logik (også kaldet matematisk logik), sandsynlighedsteoriog videnskabsfilosofi.
Venn var det første barn af Henry Venn, en anglikansk præst, og Martha Sykes Venn. Han blev uddannet af vejledere og i private skoler, før du indtaster Gonville og Caius College ved University of Cambridge, hvor han dimitterede med en grad i matematik og blev en stipendiat i 1857. Han blev ordineret til anglikansk præst i 1859. Udnævnt til lektor ved Gonville og Caius i 1862 underviste han i logik og videnskabsfilosofi, senere viet sig til kollegiets historie og sin egen familie. Han trak sig tilbage fra præsteret i 1883 efter at have konkluderet, at anglikanismen var uforenelig med hans filosofiske overbevisning. Han fungerede som college præsident fra 1903 indtil sin død.
diagrammerne, der bærer hans navn, blev introduceret af Venn som et middel til at skildre forhold mellem inklusion og udelukkelse mellem klasser eller sæt. De består af to eller tre skærende cirkler, der hver repræsenterer en klasse og hver mærket med et stort bogstav. Små bogstaver og skygge bruges til at angive eksistensen og ikke-eksistensen af henholdsvis nogle (mindst et) medlem af en given klasse.
to-cirkel Venn-diagrammer repræsenterer kategoriske propositioner, hvis grundlæggende former er: “alle A er B”, “Nej A er B”, “nogle A er B” og “nogle A er ikke B.”Tre-cirkeldiagrammer (hvor hver cirkel skærer de to andre) repræsenterer syllogismer, en gammel form for deduktivt argument bestående af to kategoriske lokaler og en kategorisk konklusion. Et eksempel er:
nogle pattedyr er kødædende. Alle pattedyr er dyr. Derfor er nogle dyr kødædende.
Venn-diagrammet svarende til denne syllogisme er:
hvis, efter at begge lokaler er blevet repræsenteret i diagrammet—universelle (“alle” eller “Nej”) lokaler først—er konklusionen også repræsenteret, syllogismen er gyldig (dvs.dens konklusion følger nødvendigvis fra dens lokaler); hvis ikke, er den ugyldig. Syllogismen ovenfor er gyldig. Venn diagrammer blev hurtigt anerkendt for deres pædagogiske værdi, og de har siden været en standard del af pensum i indledende logik.
Venn udviklede sin diagrammemetode i symbolsk logik (1881), et værk, der primært var et sofistikeret forsvar af den engelske matematiker George Boole ‘ s forsøg på at repræsentere logiske relationer i algebraiske termer (se logik, historie om: Boole og De Morgan). I Tilfældighedslogikken (1866) Venn præsenterede den første systematiske formulering af frekvensteorien om sandsynlighed, ifølge hvilke udsagn om sandsynligheden for en begivenhed er forudsigelser af den hyppighed, hvormed begivenheder af denne type vil forekomme i det lange løb, snarere end beskrivelser af styrken af en rationel persons tro på, at sådanne begivenheder vil forekomme, som den daværende regerende teori holdt. Venns sidste store filosofiske arbejde, principperne for empirisk eller induktiv logik (1889), var en kritik af John Stuart Mills induktive redegørelse for videnskabelig ræsonnement. I 1897 offentliggjorde Venn biografisk historie om Gonville og Caius College, 1349-1897; hans alumner Cantabrigienses (1922), udarbejdet med hjælp fra sin søn, er en historisk liste over studerende, alumner og embedsmænd i Cambridge fra grundlæggelsen til 1900.