Carnapian Logicism and Semantic Analyticity
DOI:
https://doi.org/10.36253/jpm-3468Keywords:
logicism, mathematics, Carnap, analytic, probabilityAbstract
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.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Hannes Leitgeb
This work is licensed under a Creative Commons Attribution 4.0 International License.
- Copyright on any open access article in JPM published by FUP is retained by the author(s).
- Authors grant FUP a license to publish the article and identify itself as the original publisher.
- Authors also grant any third party the right to use the article freely as long as its integrity is maintained and its original authors, citation details and publisher are identified.
- The Creative Commons Attribution License 4.0 formalizes these and other terms and conditions of publishing articles.
- In accordance with our Open Data policy, the Creative Commons CC0 1.0 Public Domain Dedication waiver applies to all published data in JPM open access articles.
