Carnapian Logicism and Semantic Analyticity

This article argues for a (quasi-)Carnapian version of logicism about mathematics: there is a logicist conceptual framework in which (i) all standard mathematical terms are defined by logical terms, and (ii) all standard mathematical theorems are (likely to be) analytic. Along the way, the article explains the historical-philosophical background, how the definitions in (i) are to proceed, what the framework and the semantic notion of analyticity-in-a-framework are like, and why the probabilistic qualification ‘likely to be’ is used in (ii). The upshot is not some logicist epistemic foundationalism about mathematics but the insight that mathematics can be rationally reconstructed as being conceptual, i.e., as coming along with a conceptual framework.