benkuhn 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.

Comments (30)

You are viewing a single comment's thread. Show more comments above.

Comment author: benkuhn 09 December 2013 08:36:07AM 1 point [-]

When you say that P({} and something) = P(something), you suppose the hypothesis (in addition to using several nontrivial consequences of coherence that So8res mentioned, like P mapping equivalent statements to the same thing).

More importantly, "{} and something" isn't a syntactically correct sentence. I don't think most authors consider the empty sentence syntactically correct either. (Marker, the textbook I used, doesn't.)

Comment author: Manfred 09 December 2013 06:58:21PM 0 points [-]

Whoops, you're right.