Hilbert–Bernays paradox

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

The Hilbert–Bernays paradox is a distinctive paradox belonging to the family of the paradoxes of reference (like Berry's paradox). It is named after David Hilbert and Paul Bernays.

<templatestyles src="Template:TOC limit/styles.css" />

History

The paradox appears in Hilbert and Bernays' Grundlagen der Mathematik and is used by them to show that a sufficiently strong consistent theory cannot contain its own reference functor.[1] Although it has gone largely unnoticed in the course of the 20th century, it has recently been rediscovered and appreciated for the distinctive difficulties it presents.[2]

Formulation

Just as the semantic property of truth seems to be governed by the naive schema:

(T) The sentence ' P ' is true if and only if P

(where we use single quotes to refer to the linguistic expression inside the quotes), the semantic property of reference seems to be governed by the naive schema:

(R) If a exists, the referent of the name ' a ' is identical with a

Consider however a name h for (natural) numbers satisfying:

(H) h is identical with '(the referent of h) +1'

Suppose that, for some number n:

(1) The referent of h is identical with n

Then, surely, the referent of h exists, and so does (the referent of h)+1. By (R), it then follows that:

(2) The referent of '(the referent of h)+1' is identical with (the referent of h)+1

and so, by (H) and the principle of indiscernibility of identicals, it is the case that:

(3) The referent of h is identical with (the referent of h)+1

But, again by indiscernibility of identicals, (1) and (3) yield:

(4) The referent of h is identical with n +1

and, by transitivity of identity, (1) together with (4) yields:

(5) n is identical with n+1

But (5) is absurd, since no number is identical with its successor.

Solutions

Since every sufficiently strong theory will have to accept something like (H),[clarification needed] absurdity can only be avoided either by rejecting the principle of naive reference (R) or by rejecting classical logic (which validates the reasoning from (R) and (H) to absurdity). On the first approach, typically whatever one says about the Liar paradox carries over smoothly to the Hilbert–Bernays paradox.[3] The paradox presents instead distinctive difficulties for many solutions pursuing the second approach: for example, solutions to the Liar paradox that reject the law of excluded middle (which is not used by the Hilbert–Bernays paradox) have denied that there is such a thing as the referent of h;[4] solutions to the Liar paradox that reject the law of noncontradiction (which is not used by the Hilbert–Bernays paradox) have claimed that h refers to more than one object.[5]

References

  1. Lua error in package.lua at line 80: module 'strict' not found.
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.