Logical Constants and Arithmetical Forms

This paper reflects on the limits of logical form set by a novel criterion of logicality proposed in (Bonnay and Speitel, 2021). The interest stems from the fact that the delineation of logical terms according to the criterion exceeds the boundaries of standard first-order logic. Among 'novel' logical terms is the quantifier "there are infinitely many". Since the structure of the natural numbers is categorically characterisable in a language including this quantifier we ask: does this imply that arithmetical forms have been reduced to logical forms? And, in general, what other conditions need to be satisfied for a form to qualify as "fully logical"? We survey answers to these questions.