Hume on the Social Construction of Mathematical Knowledge Tamás Demeter Abstract Mathematics for Hume is the exemplary field of demonstrative knowledge. Ideally, this knowledge is a priori as it arises only from the comparison of ideas without any further empirical input; it is certain because demonstration consist of steps that are intuitively evident and infallible; and it is also necessary because the possibility of its falsity is inconceivable as it would imply a contradiction. But this is only the ideal, because demonstrative sciences are human enterprises and as such they are just as fallible as their human practitioners. According to the reading suggested here, Hume develops a radical sceptical challenge for mathematics, and thereby he undermines the knowledge claims associated with demonstrative reasoning. But Hume does not stop there: he also offers resources for a sceptical solution to this challenge, one that appeals crucially to social practices, and sketches the social genealogy of a community-wide mathematical certainty. While explaining this process, he relies on the conceptual resources of his faculty psychology that helps him to distinguish between the metaphysics and practices of mathematical knowledge. His account explains why we have reasons to be dubious about our reasoning capacities, and also how human nature and sociability offers some remedy from these epistemic adversities. Keywords: certainty, demonstrative reasoning, mathematical practice, metaphysics of knowledge, faculties, scepticism, sceptical solution, sympathy I. Introduction One classification of knowledge Hume introduces is based on the of evidence” (T “degrees 1.3.11.2) that can be assigned to propositions and arguments. In the Treatise these degrees are called and a classification Hume retains in the first “knowledge”, “proof” “probability”, Enquiry (Section 6) except for replacing the label by This first “knowledge” “demonstration”.
Hume on the Social Construction of Mathematical Knowledge Tamás Demeter Abstract Mathematics for Hume is the exemplary field of demonstrative knowledge. Ideally, this knowledge is a priori as it arises only from the comparison of ideas without any further empirical input; it is certain because demonstration consist of steps that are intuitively evident and infallible; and it is also necessary because the possibility of its falsity is inconceivable as it would imply a contradiction. But this is only the ideal, because demonstrative sciences are human enterprises and as such they are just as fallible as their human practitioners. According to the reading suggested here, Hume develops a radical sceptical challenge for mathematics, and thereby he undermines the knowledge claims associated with demonstrative reasoning. But Hume does not stop there: he also offers resources for a sceptical solution to this challenge, one that appeals crucially to social practices, and sketches the social genealogy of a community-wide mathematical certainty. While explaining this process, he relies on the conceptual resources of his faculty psychology that helps him to distinguish between the metaphysics and practices of mathematical knowledge. His account explains why we have reasons to be dubious about our reasoning capacities, and also how human nature and sociability offers some remedy from these epistemic adversities. Keywords: certainty, demonstrative reasoning, mathematical practice, metaphysics of knowledge, faculties, scepticism, sceptical solution, sympathy I. Introduction One classification of knowledge Hume introduces is based on the “degrees of evidence” (T 1.3.11.2) that can be assigned to propositions and arguments. In the Treatise these degrees are called “knowledge”, “proof” and “probability”, a classification Hume retains in the first Enquiry (Section 6) except for replacing the label “knowledge” by “demonstration”. This first
HSCMKfinal.docx