John Venn, (ur. 4 sierpnia 1834 w Kingston upon Hull, Anglia—zm. 4 kwietnia 1923 w Cambridge), angielski logik i filozof, najbardziej znany jako wynalazca diagramów—znanych jako diagramy Venna—do reprezentowania kategorycznych propozycji i testowania ważności kategorycznych sylogizmów. Wniósł również istotny wkład w logikę symboliczną (zwaną też logiką matematyczną), teorię prawdopodobieństwa i filozofię nauki.
Venn był pierwszym dzieckiem Henry ’ ego Venna, duchownego anglikańskiego, i Marthy Sykes Venn. Kształcił się przez nauczycieli i w szkołach prywatnych, zanim wstąpił do Gonville and Caius College na Uniwersytecie w Cambridge, gdzie ukończył studia z matematyki i został stypendystą w 1857 roku. W 1859 został wyświęcony na kapłana anglikańskiego. Mianowany wykładowcą w Gonville and Caius w 1862, nauczał logiki i filozofii nauki, później poświęcił się historii kolegium i własnej rodziny. Zrezygnował z duchowieństwa w 1883 roku, stwierdzając, że anglikanizm jest niezgodny z jego filozoficznymi przekonaniami. Od 1903 r.do śmierci pełnił funkcję przewodniczącego kolegium.
diagramy noszące jego imię zostały wprowadzone przez Venna jako sposób obrazowania relacji włączenia i wykluczenia między klasami lub zbiorami. Składają się z dwóch lub trzech przecinających się okręgów, z których każdy reprezentuje klasę i każdy jest oznaczony wielką literą. Małe litery x i cieniowanie są używane do wskazania istnienia i nieistnienia, odpowiednio, niektórych (co najmniej jednego) członka danej klasy.
dwukołowe diagramy Venna reprezentują twierdzenia kategoryczne, których podstawowymi formami są: „wszystkie A są B”, „nie A są b”, „niektóre A są B” i ” Niektóre a nie są B.”Diagramy trójkołowe (w których każdy okrąg przecina pozostałe dwa) reprezentują sylogizmy, starożytną formę argumentu dedukcyjnego składającego się z dwóch przesłanek kategorycznych i kategorycznego wniosku. Przykładem jest:
niektóre ssaki są mięsożerne. Wszystkie ssaki są zwierzętami. Dlatego niektóre zwierzęta są mięsożerne.
diagram Venna odpowiadający temu sylogizmowi to:
jeśli po przedstawieniu obu przesłanek na diagramie—przesłanek uniwersalnych („wszystkich” lub „nie”)—Wniosek jest również reprezentowany, sylogizm jest ważny (tzn. jego wniosek wynika koniecznie z jego przesłanek); jeśli nie, jest nieważny. Powyższy sylogizm jest ważny. Diagramy Venna zostały wkrótce uznane za ich wartość pedagogiczną i od tego czasu są standardową częścią programu nauczania w logice wprowadzającej.
Venn opracował swoją metodę diagramowania w logice symbolicznej (1881), pracę, która była przede wszystkim wyrafinowaną obroną próby reprezentowania relacji logicznych w kategoriach algebraicznych przez angielskiego matematyka George 'a Boole’ a (Patrz logika, historia Boole ’ a i De Morgana). W logice przypadku (1866) Venn przedstawił pierwsze systematyczne sformułowanie teorii prawdopodobieństwa częstotliwości, zgodnie z którą stwierdzenia prawdopodobieństwa zdarzenia są przewidywaniami częstotliwości, z jaką zdarzenia tego typu będą miały miejsce na dłuższą metę, a nie opisami siły racjonalnego przekonania osoby, że takie zdarzenia będą miały miejsce, jak utrzymywała się wówczas teoria panująca. Ostatnie główne dzieło filozoficzne Venna, the Principles of Empirical or Inductive Logic (1889), było krytyką indukcyjnego rachunku naukowego Johna Stuarta Milla. W 1897 Venn opublikował biograficzną historię Gonville and Caius College, 1349-1897; jego Alumni Cantabrigienses (1922), skompilowany z pomocą jego syna, jest historyczną listą studentów, absolwentów i urzędników Cambridge od jego założenia do 1900.