Abstract

Cet article vise à montrer en quoi la production de connaissances certifiées en logique représente un objet d'investigation sociologique, partant du suivi empirique et de l'analyse d'un processus collectif d'accréditation d'un théorème. Dépassant un traitement programmatique de cette question, prenant le contre-pied d'hypothèses réductionnistes, relativistes ou idéalistes et d'une stylisation des dynamiques en jeu, il souligne notamment l'importance du travail matériel des démonstrations, des interactions entre acteurs sociaux, de l'économie imparfaite de l'écriture, de la lecture et de la visibilité des preuves, susceptible de conduire à la formation d'énoncés collectifs. Il livre les résultats d'une première exploration fondamentale de cités par trop occultées en sociologie : celles retranchées derrière les formalismes, les tours de main et les mécanismes probatoires des ouvriers de la logique