Diagramas, Visualización y Formalismo en la Filosofía de la Práctica Matemática

Resumo

En años recientes, ha habido un creciente interés por los aspectos
visuales del razonamiento lógico y matemático (Mancosu y otros 2005,
Barwise y Etchemendy 1996). Este interés ha surgido de la revalorización
de los diagramas como instrumentos válidos para el razonamiento
formal; más aún, podría decirse que esta reconsideración de los diagramas
ha estado íntimamente ligada a la revisión de su empleo diverso
en la práctica matemática. La concepción clásica de los diagramas
como una mera herramienta subsidiaria para el razonamiento ha sido
así desafiada por una nueva mirada sobre los diagramas, de acuerdo
con la cual éstos deben ser considerados como formas legítimas del
razonamiento lógico y matemático. El objetivo de los trabajos reunidos
en este volumen es reflexionar y promover una discusión acerca de
la naturaleza y la función de las representaciones visuales y los diagramas
en las ciencias formales, desde una perspectiva filosófica que
privilegia la práctica matemática.

In recent years, there has been an increasing interest in visual aspects
of logical and mathematical reasoning (Mancosu et al. 2005, Barwise
y Etchemendy 1996). This interest has emerged from the appreciation
of diagrams as valid instruments in formal reasoning; moreover, such
reconsideration of diagrams was intimately connected with a revision
of their multiple uses in mathematical practice. The classical view of
diagrams as mere subsidiary means of reasoning has been challenged
by a new conception of diagrams, according to which they should be
considered as legitimate forms of logical and mathematical reasoning.
The general aim of the articles gathered together in this volume is then
to promote a discussion on the nature and role of visual and diagrammatic
representation in the formal sciences, from a philosophical perspective
which grant a privilege to mathematical practice.