O papel demonstrativo dos diagramas na geometria euclidiana

• Autor(a) principal: Jesus, Douglas Lisboa Santos de
• Data de Publicação: 2017
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFBA
• Texto Completo: http://repositorio.ufba.br/ri/handle/ri/24921
• topic: Filosofia; Filosofia da matemática; Lógica; Prova diagramática.; Geometria euclidiana.; Análise retórica.

A recente literatura em historiografia e filosofia da prática matemática apresenta um novo cenário sobre o estatuto epistemológico dos diagramas. Resgatam-se aí algumas das principais discussões sobre a maneira como um sujeito pode obter conhecimento através de justificativas diagramáticas. Dentro deste quadro intelectual, apresenta-se nesta investigação uma defesa dum modelo de prova matemática parcialmente baseado em diagramas. Como caso de estudo paradigmático, adota-se aqui os Elementos de Euclides sob a perspectiva metodológica da análise retórica. O principal argumento apresentado pretende demonstrar a seguinte tese: uma correta análise das provas euclidianas deve reconsiderar a prática matemática prescrita pelos Elementos num modelo de justificativa que incorpore não apenas a análise lógica de estruturas dedutivas, como também sua dimensão normativa, dependente, portanto, da audiência. Uma objeção frequente às provas euclidianas decorre da correta observação que o diagrama é uma instância física imperfeita, donde se seguiria que também uma prova diagramática é, de um ponto de vista lógico, imperfeita. É comum entre comentadores e filósofos a alegação de que as provas euclidianas possuem “lacunas” inferenciais, cuja correção deveria ser feita mediante novos axiomas dentro duma concepção formal de prova. Assim, cada passo em uma prova seria autorizado se, e somente se, é uma fórmula bem formada que, ou é um axioma, ou segue-se da aplicação duma regra de inferência. Em réplica, fica demonstrado que a principal deficiência deste argumento reside numa significativa negligência da prática matemática euclidiana. Mais ainda: não oferece uma explicação satisfatória para a estabilidade da teoria engendrada pelos Elementos. Isso é verificado a partir dum estudo mais detalhado acerca do Postulado 2. Através duma aclaração sobre o seu suposto uso não uniforme nos Livros I-VI pode-se constatar que a geometria euclidiana, no tocante às suas provas, é estável e racionalmente controlada. Para além da geometria de Euclides, mostra-se como a análise retórica poderia ser pensada como um método investigativo na filosofia da ciência.