shminux comments on Walkthrough of "Definability of Truth in Probabilistic Logic" - Less Wrong

11 Post author: So8res 09 December 2013 03:44AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Tags: review

Comments (30)

Sort By: Best

You are viewing a single comment's thread.

Comment author: shminux 09 December 2013 03:53:13AM * 1 point [-]

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')

Comment author: So8res 09 December 2013 04:02:59AM 1 point [-]

Indeed I do. Fixed, thanks.