Shmi comments on Walkthrough of “Definability of Truth in Probabilistic Logic”

Shmi 9 Dec 2013 3:53 UTC
3 points

For if a language has access to its own truth predicate, it can express the liar’s paradox: G ⇔ True(‘G’).

You probably mean G ⇔ True(‘¬G’)
- So8res 9 Dec 2013 4:02 UTC
  2 points
  Parent
  Indeed I do. Fixed, thanks.