Busca avançada
Ano de início
Entree

Raciocínio formal e diagramático nas provas Euclidianas por redução ao absurdo

Processo: 14/23191-9
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de março de 2015
Vigência (Término): 02 de abril de 2019
Área do conhecimento:Ciências Humanas - Filosofia
Convênio/Acordo: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Pesquisador responsável:Marco Antonio Caron Ruffino
Beneficiário:Tamires Dal Magro
Instituição-sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Bolsa(s) vinculada(s):16/20480-5 - A epistemologia dos diagramas euclidianos, BE.EP.DR
Assunto(s):Geometria euclidiana   Visualização   Filosofia da matemática   Raciocínio

Resumo

O presente projeto propõe-se a investigar o papel dos diagramas em provas euclidianas, mais especificamente a relação que há entre as entradas diagramáticas e as entradas textuais nas provas por redução ao absurdo. A questão central é se diagramas apresentam apenas um papel heurístico e pedagógico nas provas matemáticas ou se ao menos em alguns casos eles desempenham um papel mais substancial, isto é, se há passos na prova que são justificados de modo legítimo por informações lidas das próprias figuras. Tal discussão insere-se na tradição da filosofia da prática da matemática que tem nas críticas de Lakatos à tradição formalista um exemplar importante - em contraponto a uma tradição de pesquisa centrada na análise lógico matemática das teorias matemáticas, esse autor chama a atenção para problemas que surgem a partir da análise da história e prática matemática. Nosso estudo é, em parte, histórico, pois exige a análise das provas geométricas presentes nos Elementos de Euclides e, em parte, de caráter epistemológico, no que diz respeito ao papel da visualização para o conhecimento matemático e a relação entre pensamento diagramático e raciocínio formal nas provas heterogêneas euclidianas - isto é, naquelas que fazem uso substancial dos diagramas. (AU)