Venn, John

logico inglese (Drypool 1834-Cambridge 1923). Istitutore a Cambridge, studiò logica simbolica (a lui si deve il primo uso di questo termine), approfondendo l'opera di G. Boole; oltre a ricerche di logica induttiva affrontò questioni di logica tradizionale.

Diagrammi di Venn

Sono regioni piane delimitate da una curva chiusa non intrecciata, usate per rappresentare intuitivamente insiemi e operazioni tra insiemi (unione, intersezione ecc.). L'idea di utilizzare porzioni di piano per rappresentare insiemi risale a L. Euler; i diagrammi di Venn vengono spesso quindi chiamati diagrammi di Euler o di Euler-Venn.