Skip to main content
8 of 20
deleted 36 characters in body
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127

Looking for a source for Intended Interpretation

Wang writes: "The originally intended, or standard, interpretation takes the ordinary nonnegative integers $\{0, 1, 2, \ldots \}$ as the domain, the symbols $0$ and $1$ as denoting zero and one, and the symbols $+$ and $\cdot$ as standing for ordinary addition and multiplication.'' This comment is found in section "Truth definition of the given language'' of article "Metalogic'' in Encyclopedia Britannica online at http://www.britannica.com/topic/metalogic

Is there a source for such a characterisation or another characterisation of the Intended Interpretation in a more traditional publication in a refereed journal or book?

Note 1. I am asking for a published source for the characterisation provided by the renouned logician Hao Wang.

Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127