# A Theory of Implicit Commitment for Mathematical Theories

**Abstract**

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains so far an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle is still lacking. We provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one's implicit commitments, and sheds light on the reason why this is so. We argue that the theory has interesting epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent proposals for the analysis of implicit commitment based on truth or epistemic notions.

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

EYKATO

**Upload history**

Archival date: 2020-10-05

View other versions

View other versions

**Added to PP index**

2020-10-05

**Total views**

315 ( #23,887 of 69,040 )

**Recent downloads (6 months)**

63 ( #12,329 of 69,040 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*