Saying it with numerals. (English) Zbl 0809.03002

Auerbach, David

Notre Dame J. Formal Logic 35, No. 1, 130-146 (1994).

The problem of the relation between reference and mode of presentation in the case of numerals is solved in a highly interesting analysis of Gödel’s Second Incompleteness Theorem. The core of the main result is characterized on p. 104: “…the reference fixing description cannot be just any definite description. And what is at the heart of the involvement of the standard numerals is their intimate connection with induction”.

Reviewer: P.Materna (Praha)

MSC:

03A05	Philosophical and critical aspects of logic and foundations
03F30	First-order arithmetic and fragments
03F40	Gödel numberings and issues of incompleteness

Keywords:

standard numerals; sense and reference; Gödel’s second incompleteness theorem; mode of presentation