John Venn (narozen 4. srpna 1834, Kingston upon Hull, Anglie—zemřel 4. dubna 1923, Cambridge), anglický logik a filosof, známý jako vynálezce diagramy—známý jako Venn diagramy—pro zastupování kategorické propozice a testování platnosti kategorického syllogisms. Také významně přispěl k symbolické logice (nazývané také matematická logika), teorii pravděpodobnosti a filozofii vědy.
Venn byl prvním dítětem Henryho Venna, anglikánského duchovního, a Marthy Sykes Vennové. Byl vzdělaný lektory a v soukromých školách před vstupem Gonville a Caius College na Univerzitě v Cambridge, kde on absolvoval s titulem z matematiky a stal spolupracovníkem v roce 1857. Roku 1859 byl vysvěcen na anglikánského kněze. Jmenován přednášejícím v Gonville a Caius v roce 1862, učil logiku a filozofii vědy, později se věnoval historii vysoké školy a své vlastní rodiny. V roce 1883 odstoupil z duchovenstva a dospěl k závěru, že Anglikánství je neslučitelné s jeho filozofickými přesvědčeními. Od roku 1903 až do své smrti působil jako vysokoškolský prezident.
diagramy, které nesou jeho jméno byly zavedeny Vennův jako prostředek zobrazující vztahy inkluze a exkluze mezi třídami, nebo sad. Skládají se ze dvou nebo tří protínajících se kruhů, z nichž každý představuje třídu a každý je označen velkým písmenem. Malá písmena x a stínování se používají k označení existence a neexistence nějakého (alespoň jednoho) člena dané třídy.
dvoukruhové Vennovy diagramy představují kategorické výroky, jejichž základní formy jsou: „všechny A jsou B“, „Ne A jsou B“, „Některé A jsou B“ a “ některé a nejsou B.“Tři-kruh diagramy (v němž každý kruh protíná další dvě) představují syllogisms, starověká forma deduktivní argument skládající se ze dvou kategorické prostory a kategorický závěr. Příkladem je:
někteří savci jsou masožravci. Všichni savci jsou zvířata. Proto jsou některá zvířata masožravci.
Vennův diagram odpovídá tento úsudek je:
Pokud se po oba prostory byly zastoupeny v diagramu—univerzální („All“ nebo „Ne“) prostor první závěr je také zastoupena, úsudek je platný (tj. jeho závěr vyplývá nutně z jeho prostorách); pokud tomu tak není, je neplatná. Výše uvedený sylogismus je platný. Vennovy diagramy byly brzy uznány za svou pedagogickou hodnotu, a od té doby jsou standardní součástí učebních osnov v úvodní logice.
Vennův vyvinul jeho diagramů metody v Symbolické Logiky (1881), práce, která byla především propracovanou obranu pokus anglický matematik George Boole představují logické vztahy v algebraické výrazy (viz logika, historie: Boole a De Morgan). V Logice Šanci (1866) Vennův představil první systematickou formulaci frekvenční teorie pravděpodobnosti, podle které prohlášení pravděpodobnost události jsou předpovědi z frekvence, s níž se události tohoto typu se vyskytují v dlouhodobém horizontu, spíše než popisy sílu racionálního člověka je víra, že takové události nastanou, jako tehdy panující teorie konat. Vennova poslední významná filozofická práce, principy empirické nebo induktivní logiky (1889), byla kritikou induktivního účtu vědeckého uvažování Johna Stuarta Milla. V roce 1897 Vennův publikované Životopisné Historii Gonville a Caius College, 1349-1897; jeho Absolventi Cantabrigienses (1922), sestavil s pomocí jeho syna, je historický seznam studentů, absolventů, a úředníci z Cambridge od svého založení do roku 1900.