Formalization, syntax and the standard model of arithmetic (Q882845): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory / rank | |||
Normal rank |
Latest revision as of 19:59, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formalization, syntax and the standard model of arithmetic |
scientific article |
Statements
Formalization, syntax and the standard model of arithmetic (English)
0 references
24 May 2007
0 references
The starting point is a discussion between Beth and Carnap from ``Carnap's views on the advantages of constructed systems over natural languages in the philosophy of language'', by \textit{E. W. Beth}, with a reply by Carnap in [P. A. Schlipp (ed.), The philosophy of Rudolf Carnap. Open Court, La Salle (1963)]. Beth distinguishes between \textit{strict usage} of the natural language which requires an intended domain of interpretation and {amplified usage} involving interpretations in any model of the language. If the amplified usage is applied to the syntax and semantics of formal languages, which, according to Bellotti is a necessity of modern mathematics, then one must deal with the problem of nonstandard finiteness brought in by nonstandard models of arithmetic and set theory. Bellotti outlines the Beth-Carnap dispute in detail, and then moves on to discuss views of Skolem and Zermelo on the role of nonstandard models in foundations of mathematics; the status of the standard model of arithmetic (it contains definable nonstandard models, while no nonstandard model carries a definable copy of the standard one); the role of set theory and Tarskian semantics. From the conclusions: ``Since the usual semantics for arithmetic, being set-theoretic, cannot yield the unique model needed for the determinateness of syntax, one cannot isolate any syntactic metatheory with a special status sufficient to preserve it from the instability coming from non-standard interpretability. Nevertheless, as we have seen, we have a notion of formal system \textit{exactly as determinate as we need}, though always inside a certain chosen system, which works as our frame of reference.''
0 references
nonstandard models
0 references
formal systems
0 references