John Venn, (nacido el 4 de agosto de 1834 en Kingston upon Hull, Inglaterra—fallecido el 4 de abril de 1923 en Cambridge), lógico y filósofo inglés, mejor conocido como el inventor de diagramas, conocidos como diagramas de Venn, por representar proposiciones categóricas y probar la validez de silogismos categóricos. También hizo importantes contribuciones a la lógica simbólica( también llamada lógica matemática), la teoría de la probabilidad y la filosofía de la ciencia.
Venn fue el primer hijo de Henry Venn, un clérigo anglicano, y Martha Sykes Venn. Fue educado por tutores y en escuelas privadas antes de entrar en Gonville y Caius College en la Universidad de Cambridge, donde se graduó con un título en matemáticas y se convirtió en miembro en 1857. Fue ordenado sacerdote Anglicano en 1859. Nombrado profesor en Gonville y Caius en 1862, enseñó lógica y filosofía de la ciencia, dedicándose más tarde a la historia de la universidad y de su propia familia. Renunció al clero en 1883, habiendo concluido que el anglicanismo era incompatible con sus creencias filosóficas. Se desempeñó como presidente de la universidad desde 1903 hasta su muerte.
Los diagramas que llevan su nombre fueron introducidos por Venn como un medio para representar relaciones de inclusión y exclusión entre clases o conjuntos. Consisten en dos o tres círculos que se cruzan, cada uno representando una clase y cada uno etiquetado con una letra mayúscula. Las x minúsculas y el sombreado se usan para indicar la existencia y la inexistencia, respectivamente, de algún (al menos un) miembro de una clase dada.
Los diagramas Venn de dos círculos representan proposiciones categóricas, cuyas formas básicas son: «Todas A son B», «Ninguna A es B», «Algunas A son B» y » Algunas A no son B.»Los diagramas de tres círculos (en los que cada círculo se cruza con los otros dos) representan silogismos, una antigua forma de argumento deductivo que consiste en dos premisas categóricas y una conclusión categórica. Un ejemplo es:
Algunos mamíferos son carnívoros. Todos los mamíferos son animales. Por lo tanto, algunos animales son carnívoros.
El diagrama de Venn correspondiente a este silogismo es:
Si, después de que ambas premisas han sido representadas en el diagrama—premisas universales («Todas» o «No») primero – la conclusión también se representa, el silogismo es válido( es decir, su conclusión se desprende necesariamente de sus premisas); si no, es inválida. El silogismo anterior es válido. Los diagramas de Venn pronto fueron reconocidos por su valor pedagógico, y desde entonces han sido una parte estándar del plan de estudios en lógica introductoria.
Venn desarrolló su método de diagramación en Lógica Simbólica (1881), un trabajo que fue principalmente una defensa sofisticada del intento del matemático inglés George Boole de representar relaciones lógicas en términos algebraicos (véase lógica, historia de: Boole y De Morgan). En La Lógica del azar (1866), Venn presentó la primera formulación sistemática de la teoría de la probabilidad de frecuencia, según la cual las declaraciones de la probabilidad de un evento son predicciones de la frecuencia con la que ocurrirán eventos de ese tipo a largo plazo, en lugar de descripciones de la fuerza de la creencia de una persona racional de que tales eventos ocurrirán, como sostenía la teoría reinante en ese entonces. El último gran trabajo filosófico de Venn, Los Principios de la Lógica Empírica o Inductiva (1889), fue una crítica del relato inductivo del razonamiento científico de John Stuart Mill. En 1897, Venn publicó Biographical History of Gonville and Caius College, 1349-1897; his Alumni Cantabrigienses (1922), compilado con la ayuda de su hijo, es una lista histórica de estudiantes, ex alumnos y funcionarios de Cambridge desde su fundación hasta 1900.