{"id":"arxiv/2604.24943","url":"https://arxiv.org/abs/2604.24943","tags":["math.LO"],"score":0,"title":"Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics","domain":"math.LO","source":"arxiv","authors":["John T. Baldwin","Constantin C. Brîncuş"],"reviews":0,"subject":"math.LO","summary":"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)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}