Visualization in logic and mathematics
Résumé
In the last two decades there has been renewed interest in visualization in logic and mathematics. Visualization is usually understood in different ways but for the purposes of this article I will take a rather broad conception of visualization to include both visualization by means of mental images as well as visualizations by means of computer generated images or images drawn on paper, e.g. diagrams etc. These different types of visualization can differ substantially but I am interested in offering a characterization of visualizationthat is as broad as possible. The article describes and explains (1) the way in which visual thinking fell into desrepute, (2) the renaissance of visual thinking in mathematics over recent decades, (3) the ways in which visual thinking has been rehabilitated in epistemology of mathematics and logic.