A sociology of formal logic?

摘要

Through a variety of case studies, social studies of science - in particular the sociology of scientific knowledge (SSK) - has demonstrated that scientific experiments and theorems can be open for debate. However, can that also be true for logical arguments? Say, someone accepted the assertion (A), 'things that are equal to the same are equal to each other', and the assertion (B), 'the two sides of this triangle are things that are equal to the same', but then had doubts over whether or not to accept also, (Z) 'the two sides of this triangle are equal to each other', would we not be tempted to say to them, as Achilles says to the Tortoise in Lewis Carroll's famous dialogue.