文章基本信息

标题：Diagramas e Provas
其他标题：Diagrams and Proofs
本地全文：下载
作者：Abel Lassalle Casanave ; Bruno Vaz ; Sérgio Schultz 等
期刊名称：DoisPontos
印刷版ISSN：2179-7412
出版年度：2009
卷号：6
期号：2
DOI：10.5380/dp.v6i2.14934
语种：Portuguese
出版社：UFPR
摘要：A concepção padrão de prova é uma concepção lingüística de prova. No entanto,literatura recente reivindica a legitimidade de provas heterogêneas, isto é, que incorporemrecursos visuais ou gráficos. Tal reivindicação implica em um melhor exame da distinçãoentre representação lingüística e representação gráfica ou visual; concomitantemente, elatambém comporta uma análise da dualidade entre discursivo e intuitivo em filosofia dalógica e da matemática. Neste breve artigo examinamos dois exemplos canônicos de provasheterogêneas, salientando, no entanto, seu caráter discursivo. Em uma também brevesecção final introduzimos com caráter conjetural o conceito leibniciano de representaçãoecthetica com vistas a repensar a distinção entre lingüístico e gráfico.
其他摘要：The standard approach to proofs is the linguistic conception of proofs.Recent literature, though, legitimates heterogenic proofs, i.e., the ones thatinclude graphic or visual elements. Such claims imply a better evaluation of thedistinction between linguistic and graphic or visual representation; it alsosuggests an analysis of role of the dichotomy intuitive/discursive in the philosophyof mathematics and logic. Along this short paper we examine two canonicalheterogeneous proofs, emphasizing their discursive components.In the equally short final section we introduce provisionally the leibinizianconcept of an ecthetic representation as a way to access the distinction betweenthe linguistic and the graphical.
关键词：Heterogenic proofs; linguistic representation; graphical representation; provas heterogêneas; representação lingüística; representação gráfica