In this article, I will first discuss the difficulties of a "practical turn" in philosophy of mathematics and philosophy of logic. Then, I will present Dutilh-Novaes’ thesis according to which formal language is a "technology" and a form of "operative writing" introduced to do logic and overcome the biases of natural reasoning. Finally, I will consider some issues concerning diagrammatic reasoning and discuss its cognitive role. My general aim is to give an idea of how many different areas of research are open once we assume a pragmatic approach to logic and consider the common use of different representations – different technologies in its practice.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados