Defesa de Doutorado de Tamires Dal Magro

Esta tese tem como propósito principal uma investigação do papel dos diagramas na obtenção de resultados sólidos e duradouros na geometria euclidiana. Para tal propósito, o trabalho está estruturado em formato de três artigos acadêmicos, em cada qual o enfoque está em diferentes questões relevantes sobre o tópico, a saber: (1) qual o papel epistêmico que diagramas podem ter em práticas matemáticas distintas; (2) quais as habilidades que são empregadas no uso regimentado de diagramas na geometria euclidiana; (3) como diagramas particulares podem ser empregados na justificação de proposições gerais; (4) como diagramas podem ser empregados em provas por reductio ad absurdum; (5) de que natureza é o tipo de representação diagramática que encontramos nos Elementos. O primeiro artigo que compõe a tese centra-se na análise do uso epistêmico de diagramas em diferentes práticas matemáticas, utilizando como caso de estudo os distintos usos de diagramas como ferramentas de raciocínio em duas práticas matemáticas da antiguidade, presentes na obra grega Elementos e nas obras chinesas Zhou Bi e Nove Capítulos dos Procedimentos Matemáticos. No segundo artigo, argumenta-se contra a afirmação de que o emprego de diagramas nos Elementosconsistiria em lacunas das provas. Para tanto, esse artigo percorre os seguintes passos: (1) argumenta-se que é um erro avaliar os méritos da geometria presente nos Elementos a partir das lentes da reconstrução formal de Hilbert; (2) elucida-se as habilidades empregadas nas inferências baseadas em diagramas nos Elementos e mostra-se que nesse contexto diagramas são ferramentas matemáticas legítimas; (3) por fim, revisam-se resultados de experimentos recentes que pretendem mostrar que, não somente a prática diagramática euclidiana é estritamente regimentada, mas também está enraizada em habilidades cognitivas que são universalmente compartilhadas. O terceiro artigo avança uma teoria sobre o papel representacional dos diagramas euclidianos, de acordo com a qual são amostras de aspectos coexatos ('teoria das amostras'). Essa teoria é contrastada com duas outras concepções - a concepção instancial e a concepção icônica de Macbeth - com respeito a quão bem elas acomodam três características fundamentais do papel que diagramas desempenham na prática matemática euclidiana, a saber: (1) são usados em provas cujos resultados são gerais; (2) exibem características que a geômetra pode inferir diretamente deles; e (3) sempre são usados como recurso de um tipo específico (coexato) de informação, o que esclarece como são empregados em provas por reductio. Defende-se que a teoria proposta se ajusta melhor que suas concorrentes a essas características. Por fim, ilustram-se as virtudes da teoria das amostras por meio de uma análise do quadrilátero de Saccheri. A seção final da tese relaciona os resultados obtidos nos três artigos e apresenta sugestões para investigação futura.