Focusing on the social dynamics of logical theorem development, Claude Rosental explores the history of a significant theorem in artificial intelligence related to fuzzy logic. By examining this case, he reveals that the creation and validation of logical propositions are deeply interconnected with social interactions, challenging the perception of logic as a purely individual intellectual pursuit. Rosental's work highlights the collaborative and communal aspects of establishing truths in the field of logic.
