The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will be discussed. To better characterize the analysis, the notions of material anchor and representational affordance will be introduced.

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

Poiché i miei interessi di ricerca si concentrano sul rapporto tra spazio e rappresentazione, nel presente articolo commenterò un lavoro di Achille C. Varzi pubblicato nel 2008 e intitolato, nella sua versione italiana, «Configurazioni, regole e inferenze». Accennerò anche a un secondo articolo scritto da Varzi e Massimo Warglien e pubblicato nel 2003, intitolato «The Geometry of Negation». Mi rivolgerò poi alla psicologia sperimentale, collegando alcuni aspetti delle osservazioni di Varzi a un articolo di Johnson- Laird del 2005 intitolato «The (...) Shape of Problems». Nelle conclusioni, farò un ultimo riferimento a un articolo di Varzi pubblicato nel 2000, scritto con Philip Kitcher e intitolato «Some Pictures Are Worth 2 אo Sentences». Le parole configurazioni, geometry, shape e picture nei titoli degli articoli di cui mi occuperò sono dei buoni indizi per capire quale sia il filo rosso che lega a mio avviso tutti questi lavori. (shrink)