John Venn, (født 4. August 1834, Kingston upon Hull, England-død 4. April 1923, Cambridge), engelsk logiker og filosof best kjent som oppfinneren av diagrammer—kjent som Venn-diagrammer-for å representere kategoriske proposisjoner og teste gyldigheten av kategoriske syllogismer. Han gjorde også viktige bidrag til symbolsk logikk( også kalt matematisk logikk), sannsynlighetsteori og vitenskapsfilosofi.
Venn Var Det Første barnet Til Henry Venn, En Anglikansk prest, Og Martha Sykes Venn. Han ble utdannet av lærere og i private skoler før du går Gonville Og Caius College Ved University Of Cambridge, hvor han ble uteksaminert med en grad i matematikk og ble fellow i 1857. Han ble ordinert Til Anglikansk prest i 1859. Utnevnt til foreleser Ved Gonville Og Caius i 1862, underviste han i logikk og vitenskapsfilosofi, senere viet han seg til kollegiets historie og sin egen familie. Han trakk seg fra presteskapet i 1883, etter å ha konkludert Med At Anglikanismen var uforenlig med hans filosofiske tro. Han var universitetspresident fra 1903 til sin død.
diagrammene som bærer Hans navn ble introdusert Av Venn som et middel til å skildre relasjoner med inkludering og ekskludering mellom klasser eller sett. De består av to eller tre kryssende sirkler, hver representerer en klasse og hver merket med en stor bokstav. Små bokstaver x og skyggelegging brukes til å indikere eksistensen og ikke-eksistensen av henholdsvis noen (minst ett) medlem av en gitt klasse.
To-sirkel Venn-diagrammer representerer kategoriske proposisjoner, hvis grunnleggende former er: «Alle a er B», «Ingen A Er B», «Noen A Er B» og » Noen A Er ikke B.»Tre-sirkeldiagrammer (hvor hver sirkel krysser de to andre) representerer syllogismer, en gammel form for deduktivt argument som består av to kategoriske lokaler og en kategorisk konklusjon. Et eksempel er:
noen pattedyr er rovdyr. Alle pattedyr er dyr. Derfor er noen dyr rovdyr.
Venn-diagrammet som svarer til denne syllogismen er:
hvis, etter at begge premissene er representert i diagrammet—universelle («Alle» eller «Nei») premisser først-konklusjonen er også representert, er syllogismen gyldig( dvs. konklusjonen følger nødvendigvis fra premissene); hvis ikke, er den ugyldig. Syllogismen ovenfor er gyldig. Venn-diagrammer ble snart anerkjent for sin pedagogiske verdi, og de har siden vært en standard del av læreplanen i introduksjonslogikk.
Venn utviklet sin diagrammetode I Symbolic Logic (1881), et arbeid som først og fremst var et sofistikert forsvar for den engelske matematikeren George Boole forsøk på å representere logiske relasjoner i algebraiske termer (se logikk, History of: Boole og De Morgan). I The Logic Of Chance (1866) Presenterte Venn Den første systematiske formuleringen av frekvensteorien om sannsynlighet, ifølge hvilken utsagn om sannsynligheten for en hendelse er spådommer om frekvensen med hvilke hendelser av den typen vil forekomme i det lange løp, i stedet for beskrivelser av styrken til en rasjonell persons tro på at slike hendelser vil oppstå, som den da regjerende teorien holdt. Venns siste betydelige filosofiske verk, The Principles Of Empirical or Inductive Logic (1889), var en kritikk Av John Stuart Mills inductive account of scientific resonnement. I 1897 utga Venn Biographical History Of Gonville and Caius College, 1349-1897; Hans Alumni Cantabrigienses (1922), utarbeidet med hjelp av sin sønn, er en historisk liste over studenter, alumner og embetsmenn I Cambridge fra grunnleggelsen til 1900.