Diagramas e visualização

Abstract

No presente trabalho examinaremos a tese segundo a qual provas com diagramas são heterogêneas, i. e., envolvem essencialmente um elemento visual. Em uma primeira seção, analisaremos o uso informal de diagramas de Venn em provas conjuntistas, procurando determinar em que sentido provas com diagramas seriam heterogêneas. Segundo nossa elucidação, tais provas supostamente envolveriam raciocínio visual no sentido em que a validade das inferências dependeria de características visualizáveis dos diagramas e não de regras de derivação. Em uma segunda seção, argumentaremos que a concepção de provas diagramáticas como envolvendo essencialmente um elemento visual apresenta sérios problemas. Estes problemas diriam respeito ao fato das propriedades essenciais dos diagramas não dependerem de quais propriedades visualizáveis os diagramas de fato possuem