Comparing Fixed-Point and Revision Theories of Truth

  title={Comparing Fixed-Point and Revision Theories of Truth},
  author={Philip Kremer},
  journal={J. Philosophical Logic},
In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. (Martin and Woodruff independently developed this semantics, but not to the same extent as Kripke.) Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting… CONTINUE READING

Topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…