Skip to main content
1 of 4
Ali Enayat
  • 17.7k
  • 2
  • 63
  • 105

The existence of a Gödel-numbering that supports a strong fixed point was claimed by Kripke in his famous essay Outline of a Theory of Truth, Journal of Philosophy vol. 72 pp.690–716 (the only online copy of the paper I could locate is on JSTOR, so those of you with an academic connection can easily access it).

On p.693, second paragraph, Kripke makes it clear that he has a proof of the existence of strong fixed points, but he writes "The argument must be omitted from this outline".

Thankfully, Albert Visser has provided a detailed exposition of the existence of strong fixed points in his majestic 2002 paper Semantics and the Liar Paradox, Handbook of Philosophical Logic, vol. 10 pp.159-245.

An online copy of Visser's paper is available on Googlebooks; see pp.168-170 for the details of nonstandard Gödel-numbering that supports a strong fixed point.

Here is the link Visser's paper on Googlebooks:

http://books.google.com/books?id=wwXfHT5ka_8C&pg=PA149&dq=%22handbook+of+philosophical+logic%22+%22semantics+and+the+liar+paradox%22&hl=en&sa=X&ei=6t2ET5SXHebk0QGiv8nGBw&ved=0CDYQ6AEwAA#v=onepage&q=%22handbook%20of%20philosophical%20logic%22%20%22semantics%20and%20the%20liar%20paradox%22&f=false

Ali Enayat
  • 17.7k
  • 2
  • 63
  • 105