Hilbert–Bernays paradox

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.

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 single quotes 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), 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 likewise not used by the Hilbert–Bernays paradox) have claimed that h refers to more than one object.[5]

gollark: Plus the OOP extension.
gollark: We also need HQ9+.
gollark: m a d n e s s
gollark: Esobot types slowly.
gollark: Can you do that?

References
  1. Hilbert, David; Bernays, Paul (1939). Grundlagen der Mathematik. Berlin: Springer. pp. 263–278.
  2. Priest, Graham (2005). Towards Non-Being. Oxford: Oxford University Press. pp. 156–178.
  3. Keith Simmons (2003). "Reference and Paradox". In Beall, JC (ed.). Liars and Heaps. Oxford: Oxford University Press. pp. 230–252.
  4. Field, Hartry (2008). Saving Truth from Paradox. Oxford: Oxford University Press. pp. 291–293.
  5. Priest, Graham (2005). Towards Non-Being. Oxford: Oxford University Press. pp. 156–178.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.