John Venn, (nascido em 4 de agosto de 1834, Kingston upon Hull, Inglaterra morreu em 4 de abril de 1923, Cambridge), em inglês, lógico e filósofo mais conhecido como o inventor de diagramas conhecidos como diagramas de Venn para representar proposições categóricas, e o teste da validade do categórica syllogisms. Ele também fez contribuições importantes para a lógica simbólica (também chamada lógica matemática), teoria da probabilidade, e a filosofia da ciência.Venn foi o primeiro filho de Henry Venn, um clérigo anglicano, e Martha Sykes Venn. Ele foi educado por tutores e em escolas privadas antes de entrar Gonville e Caius College na Universidade de Cambridge, onde ele se formou com um grau em matemática e se tornou um fellow em 1857. Foi ordenado sacerdote anglicano em 1859. Nomeado professor em Gonville e Caius em 1862, lecionou lógica e filosofia da ciência, mais tarde dedicando-se à história do colégio e de sua própria família. Ele renunciou ao clero em 1883, tendo concluído que o anglicanismo era incompatível com suas crenças filosóficas. Ele serviu como presidente da Faculdade de 1903 até sua morte.Os diagramas que ostentam seu nome foram introduzidos por Venn como um meio de retratar relações de inclusão e exclusão entre classes ou conjuntos. Eles consistem de dois ou três círculos intersetando, cada um representando uma classe e cada um rotulado com uma letra maiúscula. X minúsculas e sombreamento são usados para indicar a existência e inexistência, respectivamente, de alguns (pelo menos um) membros de uma determinada classe.Diagramas de Venn de dois círculos representam proposições categóricas, cujas formas básicas são:” todos A São B, “”não a São B, “” Alguns a São B,” E ” alguns a não são B. Diagramas de três círculos (em que cada círculo intersecta os outros dois) representam silogismos, uma forma antiga de argumento dedutivo consistindo de duas premissas categóricas e uma conclusão categórica. Um exemplo é:
alguns mamíferos são carnívoros. Todos os mamíferos são animais. Portanto, alguns animais são carnívoros.
O diagrama de Venn correspondente a este silogismo é:
se, depois de ambas as premissas terem sido representadas no diagrama—Universal (“todas” ou “não”) premissas primeiro—a conclusão também é representada, o silogismo é válido (ou seja, sua conclusão decorre necessariamente de suas premissas); caso contrário, é inválido. O silogismo acima é válido. Diagramas de Venn foram logo reconhecidos por seu valor pedagógico, e desde então têm sido uma parte padrão do currículo na lógica introdutória.
Venn desenvolveu sua diagramação método em Lógica Simbólica (1881), um trabalho que foi principalmente um sofisticado defesa da tentativa, por parte do matemático inglês George Boole para representar relações lógicas no algébrica termos (ver lógica, história de: Boole e De Morgan). Na Lógica do Acaso (1866) de Venn apresentado a primeira formulação sistemática da frequência de teoria de probabilidade, de acordo com o qual as declarações da probabilidade de um evento são previsões da freqüência com que os eventos de que tipo de ocorrer a longo prazo, em vez de descrições da força de uma pessoa racional da crença de que tais eventos ocorrem, como o então campeão teoria realizado. O último grande trabalho filosófico de Venn, os princípios da lógica empírica ou indutiva (1889), foi uma crítica ao relato indutivo de John Stuart Mill sobre o raciocínio científico. Em 1897 Venn publicado História Biográfica de Gonville e Caius College, 1349-1897; seus ex-alunos Cantabrigienses (1922), compilado com a ajuda de seu filho, está uma lista histórica de alunos, ex-alunos e funcionários de Cambridge desde sua fundação, a 1900.