Certifying Knowledge: The Sociology of a Logical Theorem in Artificial Intelligence
通过民族志观察、访谈和文本分析，研究了20世纪90年代人工智能领域一个逻辑定理的产生和认证过程，揭示了实践异质性、表述多义性及互动对定理稳定化的影响。
This study examines the concrete modalities of the production and recognition of a specific logical theorem in the field of artificial intelligence in the 1990s. Ethnographic observations, interviews, and textual analysis, reveal the impact of a heterogeneity of practices of evaluation and other forms of interaction between the author of the theorem and a varied community of interlocutors, especially during the draft stage of the theorem. Individual and collective representations of the theorem were structured by the proliferation and polysemy of its reformulations, by the imperfect access to proofs and counterproofs, and by the coordination of action within opposed groups. The stabilization of debates over, and the certification of, the theorem were not based on the simple victory of one side over another but on relatively unified responses by critics and by the author's responses to critiques—responses that tended to allow for multiple interpretations. This ethnography of logic in development illustrates why sociologists should not consider logic to be just a methodological tool; it is also a privileged object that enables exploration of the material and social forms of intellectual work, including the building of credibility.