Conhecimento simbólico em John Venn
Fecha
2013-03-08Metadatos
Mostrar el registro completo del ítemResumen
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 subjacentes a essa lógica simbólica. Em
primeiro lugar, Venn precisa considerar a relação entre a lógica simbólica e a lógica
tradicional, i.e., a silogística. Em segundo lugar, Venn precisa considerar a relação entre a
lógica simbólica e a matemática. No tratamento dessas questões, Venn precisará refletir sobre
uma série de noções filosóficas acerca da natureza do conhecimento simbólico. O objetivo
dessa dissertação é apresentar o tratamento oferecido por Venn ao conceito de conhecimento
simbólico. No desenvolvimento da pesquisa, verifica-se que, na opinião de Venn, sua álgebra
da lógica é uma generalização formal da silogística. Tal processo de generalização formal é
possível graças à função ectética que os símbolos algébricos cumprem na representação
lógica. Além disso, verifica-se que, de acordo com Venn, a lógica representada pelo seu
simbolismo algébrico pode ser precisamente diferenciada da matemática. Tal diferenciação é
possível graças à reflexão sobre os diferentes modos em que o simbolismo algébrico cumpre a
função subrogativa do conhecimento simbólico. Essa dissertação alcança, por fim, um duplo
resultado. Por um lado, obtém-se um resultado de valor historiográfico, pois permite
determinar o lugar do trabalho de Venn entre os esforços de simbolização da lógica do século
XIX. Além disso, alcança também um resultado filosófico na medida em que permite, através
de análise de um caso histórico, clarificar noções-chave do conhecimento simbólico. Venn é
mais conhecido pela criação dos diagramas de Venn do que por seu trabalho em álgebra da
lógica, contudo Venn pouco oferece em termos de reflexão sistemática sobre o tema filosófico
da natureza do conhecimento gráfico. Apesar disso, o estudo do trabalho de Venn em álgebra
da lógica oferece resultados sobre a natureza dos diagramas de Venn, resultados esses que são
aqui apresentados como produto secundário da investigação.