Esta dissertação apresenta uma reconstrução da teoria lógica de John Venn (1834- 1923) em Symbolic Logic (1881; 1894). Em sua obra, Venn apresenta uma álgebra da lógica, e enfrenta uma série de problemas filosóficos ...