Repository | Journal | Volume | Articles
(2007) Synthese 154 (2).
I make an attempt at the description of the delicate role of the standard model of arithmetic for the syntax of formal systems. I try to assess whether the possible instability in the notion of finiteness deriving from the nonstandard interpretability of arithmetic affects the very notions of syntactic metatheory and of formal system. I maintain that the crucial point of the whole question lies in the evaluation of the phenomenon of formalization. The ideas of Skolem, Zermelo, Beth and Carnap (among others) on the problem are discussed.
Publication details
DOI: 10.1007/s11229-005-0900-x
Full citation:
Bellotti, L. (2007). Formalization, syntax and the standard model of arithmetic. Synthese 154 (2), pp. 199-229.
This document is unfortunately not available for download at the moment.