John Venn (* 4. August 1834, Kingston upon Hull, England — gestorben 4. April 1923, Cambridge), englischer Logiker und Philosoph, bekannt als Erfinder von Diagrammen — bekannt als Venn—Diagramme – zur Darstellung kategorischer Sätze und zum Testen der Gültigkeit kategorischer Syllogismen. Er leistete auch wichtige Beiträge zur symbolischen Logik (auch mathematische Logik genannt), Wahrscheinlichkeitstheorie und Wissenschaftsphilosophie.
Venn war das erste Kind von Henry Venn, einem anglikanischen Geistlichen, und Martha Sykes Venn. Er wurde von Tutoren und in Privatschulen erzogen, bevor er in Gonville und Caius College an der University of Cambridge, wo er mit einem Abschluss in Mathematik und wurde Stipendiat im Jahre 1857. 1859 wurde er zum anglikanischen Priester geweiht. Er wurde 1862 zum Dozenten in Gonville und Caius ernannt und unterrichtete Logik und Wissenschaftsphilosophie, später widmete er sich der Geschichte des Colleges und seiner eigenen Familie. Er trat 1883 aus dem Klerus aus und kam zu dem Schluss, dass der Anglikanismus mit seinen philosophischen Überzeugungen unvereinbar sei. Er diente als College-Präsident von 1903 bis zu seinem Tod.
Die Diagramme, die seinen Namen tragen, wurden von Venn eingeführt, um die Beziehungen von Inklusion und Exklusion zwischen Klassen oder Mengen darzustellen. Sie bestehen aus zwei oder drei sich kreuzenden Kreisen, die jeweils eine Klasse darstellen und jeweils mit einem Großbuchstaben gekennzeichnet sind. Kleinbuchstaben x und y werden verwendet, um die Existenz bzw. Nichtexistenz eines (mindestens eines) Mitglieds einer bestimmten Klasse anzuzeigen.
Zweikreis-Venn-Diagramme stellen kategorische Sätze dar, deren Grundformen sind: „Alle A sind B“, „Kein A ist B“, „Einige A sind B“ und „Einige A sind nicht B.“ Dreikreisdiagramme (in denen jeder Kreis die beiden anderen schneidet) repräsentieren Syllogismen, eine alte Form des deduktiven Arguments, die aus zwei kategorischen Prämissen und einer kategorischen Schlussfolgerung besteht. Ein Beispiel ist:
Einige Säugetiere sind Fleischfresser. Alle Säugetiere sind Tiere. Daher sind einige Tiere Fleischfresser.
Das diesem Syllogismus entsprechende Venn-Diagramm ist:
Wenn, nachdem beide Prämissen im Diagramm dargestellt wurden — universelle („Alle“ oder „Nein“) Prämissen zuerst — die Schlussfolgerung auch dargestellt wird, ist der Syllogismus gültig (d. H. seine Schlussfolgerung folgt notwendigerweise aus seinen Prämissen); wenn nicht, ist es ungültig. Der obige Syllogismus ist gültig. Venn-Diagramme wurden bald für ihren pädagogischen Wert anerkannt, und sie sind seitdem ein Standardbestandteil des Lehrplans in der Einführungslogik.
Venn entwickelte seine Diagrammmethode in Symbolic Logic (1881), eine Arbeit, die in erster Linie eine ausgeklügelte Verteidigung des Versuchs des englischen Mathematikers George Boole war, logische Beziehungen in algebraischen Begriffen darzustellen (siehe logic, history of: Boole and De Morgan). In Die Logik des Zufalls (Die Logik des Zufalls) (1866) präsentierte Venn die erste systematische Formulierung der Häufigkeitstheorie der Wahrscheinlichkeit, gemäß der Behauptungen der Wahrscheinlichkeit eines Ereignisses Vorhersagen der Frequenz sind, mit der Ereignisse dieser Art langfristig, aber nicht Beschreibungen der Stärke des Glaubens einer rationalen Person vorkommen werden, dass solche Ereignisse vorkommen werden, als die dann herrschende Theorie hielt. Venns letzte große philosophische Arbeit, Die Prinzipien der empirischen oder induktiven Logik (1889), war eine Kritik an John Stuart Mills induktiver Darstellung des wissenschaftlichen Denkens. Im Jahr 1897 veröffentlichte Venn Biographische Geschichte von Gonville und Caius College, 1349-1897; seine Alumni Cantabrigienses (1922), zusammengestellt mit Hilfe seines Sohnes, ist eine historische Liste von Studenten, Alumni und Beamten von Cambridge von seiner Gründung bis 1900.