John Venn, (născut la 4 August 1834, Kingston upon Hull, Anglia—a murit la 4 aprilie 1923, Cambridge), logician și filozof englez cel mai cunoscut ca inventatorul diagramelor—cunoscute sub numele de diagrame Venn—pentru reprezentarea propozițiilor categorice și testarea validității silogismelor categorice. De asemenea, a adus contribuții importante la logica simbolică (numită și logică matematică), teoria probabilităților și filosofia științei.
Venn a fost primul copil al lui Henry Venn, un cleric Anglican, și al Marthei Sykes Venn. A fost educat de tutori și în școli private înainte de a intra Gonville și Colegiul Caius la Universitatea din Cambridge, unde a absolvit o diplomă în matematică și a devenit fellow în 1857. A fost hirotonit preot Anglican în 1859. Numit lector la Gonville și Caius în 1862, a predat logica și filosofia științei, dedicându-se ulterior istoriei colegiului și a propriei sale familii. El a demisionat din cler în 1883, după ce a ajuns la concluzia că Anglicanismul era incompatibil cu credințele sale filosofice. A ocupat funcția de președinte al Colegiului din 1903 până la moartea sa.
diagramele care îi poartă numele au fost introduse de Venn ca mijloc de a descrie relațiile de incluziune și excludere între clase sau seturi. Ele constau din două sau trei cercuri care se intersectează, fiecare reprezentând o clasă și fiecare etichetat cu o literă mare. Minusculele X și umbrirea sunt utilizate pentru a indica existența și, respectiv, inexistența unor (cel puțin un) membru al unei clase date.
diagramele Venn cu două cercuri reprezintă propoziții categorice, ale căror forme de bază sunt: „toate A sunt B”, „nu A sunt B”, „unele A sunt B” și „unele A nu sunt B.”Diagramele cu trei cercuri (în care fiecare cerc intersectează celelalte două) reprezintă silogisme, o formă antică de argument deductiv constând din două premise categorice și o concluzie categorică. Un exemplu este:
unele mamifere sunt carnivore. Toate mamiferele sunt animale. Prin urmare, unele animale sunt carnivore.
diagrama Venn corespunzătoare acestui silogism este:
dacă, după ce ambele premise au fost reprezentate în diagramă—premise universale („toate” sau „nu”) mai întâi—concluzia este de asemenea reprezentată, silogismul este valabil (adică concluzia sa rezultă neapărat din premisele sale); dacă nu, este nevalid. Silogismul de mai sus este valabil. Diagramele Venn au fost recunoscute în curând pentru valoarea lor pedagogică și de atunci au fost o parte standard a curriculumului în logica introductivă.
Venn și-a dezvoltat metoda de diagramă în logica simbolică (1881), o lucrare care a fost în primul rând o apărare sofisticată a încercării matematicianului englez George Boole de a reprezenta relațiile logice în termeni algebrici (vezi logica, istoria: Boole și de Morgan). În logica întâmplării (1866) Venn a prezentat prima formulare sistematică a teoriei frecvenței probabilității, conform căreia afirmațiile probabilității unui eveniment sunt predicții ale frecvenței cu care evenimentele de acest tip vor avea loc pe termen lung, mai degrabă decât descrieri ale puterii credinței unei persoane raționale că astfel de evenimente vor avea loc, așa cum susținea teoria domnitoare de atunci. Ultima lucrare filosofică majoră a lui Venn, principiile logicii empirice sau Inductive (1889), a fost o critică a John Stuart Mill ‘ s relatarea inductivă a raționamentului științific. În 1897 Venn a publicat Istoria biografică a Gonville și Colegiul Caius, 1349-1897; Alumni cantabrigienses (1922), compilat cu ajutorul fiului său, este o listă istorică a studenților, absolvenților și oficialilor din Cambridge de la fondarea sa până în 1900.