I submit that in Pincock’s structural account [SA] the request of a priori justifiability of mathematical beliefs [AP] follows from the adoption of semantic realism for mathematical statements [SR] combined with a form of internalism about mathematical concepts [INTmc]. The resulting framework seems to clash with Pincock’s proposal of an “extension-based” epistemology for pure mathematics [EBE], in that the endorsement of [EBE] seems to ask for a form of conceptual externalism [EXTmc] that would…
Read moreI submit that in Pincock’s structural account [SA] the request of a priori justifiability of mathematical beliefs [AP] follows from the adoption of semantic realism for mathematical statements [SR] combined with a form of internalism about mathematical concepts [INTmc]. The resulting framework seems to clash with Pincock’s proposal of an “extension-based” epistemology for pure mathematics [EBE], in that the endorsement of [EBE] seems to ask for a form of conceptual externalism [EXTmc] that would not provide us with the a priori justifications for mathematical beliefs requested. I claim that Pincock’s overall account of pure and applied mathematics would be made more stable if the assumption of [INTmc] was replaced by [EXTmc]. In eliminating [INTmc], [SA] would not entail any necessary commitment to forms of a priori justification for mathematical beliefs anymore, preventing the tension with [EBE]. Someone could object that the combination of [SR] and [EXTmc] would lead to ontological realism for mathematical objects [OR]. I answer by arguing that the kind of [EXTmc] that can be endorsed within Pincock’s framework takes the content of mathematical concepts to be determined by contingent facts in the historical development of mathematical practice, so that no commitment to the existence of mathematical objects is required.