Venn-diagram

Venn-diagram, afbildning af forhold imellem subjekt og prædikat, opfundet af den britiske logiker John Venn (1834-1923) mhp. at afgøre syllogismers logiske gyldighed.

Diagrammet består af tre cirkler, som skærer hinanden, og som repræsenterer underbegreb, overbegreb og mellembegreb. Domme af formen "Alle S er P" eller "Ingen S er P" afbildes ved at markere, at hhv. den del af S, der ligger uden for P, eller den del af S, der ligger inden for P, er tom, og domme af formen "Nogle S er P" eller "Nogle S er ikke-P" afbildes ved at markere, at der eksisterer mindst én genstand i S' og Ps fællesområde eller i den del af P, der ligger uden for S.

Ved at afbilde en syllogismes to præmisser kan det undersøges, om diagrammet også er en afbildning af konklusionen; hvis dette er tilfældet, er syllogismen logisk holdbar.