Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
We provided in \cite{BaldwinBrincusI} extensions of first order logic by modified inferential definitions of the classical $ω$-rule in $1$ or $2$ sorts. These logics are categorical in the inferential sense. Arithmetic has a unique countable model in each case, e.g. first order PA is categorical in our first logic. The 2-sorted case interprets $L_{ω_1,ω}$. In this paper, we discuss two philosophical problems raised by Button and Walsh \cite{ButtonWalshbook} concerting the identification of a unique isomorphism class. First, we argue that the doxological challenge (on referential determinacy)…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.24943
curl -X POST /api/v1/records/arxiv/2604.24943/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.24943/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'