Edited by Valeria Giardino, Amirouche Moktefi, Sandra Mols & Jean Paul Van Bendegem
Ce cahier thématique de Philosophia Scientiæ se propose d’explorer et d’analyser les questions philosophiques, historiques et sociologiques liées à l’influence que les pratiques peuvent avoir sur les résultats en mathématique et en logique. Ainsi, il y est discuté de la manière dont les pratiques concrètes dans le travail des mathématiciens ou des logiciens peuvent déterminer au moins partiellement les résultats de leurs investigations, et plus particulièrement, la notion de ce qui vaut pour eux comme preuve.
L’un des principaux thèmes abordés par les auteurs est la manière dont les « pratiques » sont souvent opposées et comparées aux « résultats ». Sont également abordés les problèmes conceptuels et méthodologiques qui apparaissent dès lors que l’on adopte une approche fondée sur les pratiques en mathématiques ou en logique, ainsi que la manière de les surmonter. Enfin, des pratiques plus spécifiques, utilisées couramment en mathématiques, comme l’établissement de la preuve, le raisonnement et les explications diagrammatiques font l’objet d’une attention particulière.