Philosophy of Mathematical Practice

The philosophy of mathematical practice is a branch of the philosophy of mathematics that shifts attention from the logical structure of mathematical theories to the actual activities of mathematicians: how they discover conjectures, construct proofs, evaluate evidence, and communicate results. It treats mathematical reasoning not as a purely deductive process but as a complex cognitive and social activity involving analogy, visualization, heuristic argument, and collaborative verification.

This approach challenges the assumption that the epistemic content of mathematics is fully captured by its formalization. Mathematicians routinely reason with diagrams, pursue conjectures on the basis of partial evidence, and accept results whose proofs have been checked by computer but not by any single human mind. The philosophy of mathematical practice asks what norms govern these activities and how they contribute to the reliability of mathematical knowledge. See also Mathematical Knowledge and Mathematical Cognition.