abramdemski comments on Reflection in Probabilistic Logic - Less Wrong

63 Post author: Eliezer_Yudkowsky 24 March 2013 04:37PM

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

Comments (171)

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

Comment author: abramdemski 23 March 2013 09:28:39PM 1 point [-]

For example, the following disquotational principle follows from the reflection principle (by taking contrapositives):

P( x <= P(A) <= y) > 0 ----> x <= P(A) <= y

The unsatisfying thing is that one direction has "<=" while the other has "<".

The negated statements become 'or', so we get x <= P(A) or P(A) <= y, right?

To me, the strangest thing about this is the >0 condition... if the probability of this type of statement is above 0, it is true!

Comment author: JeremyHahn 23 March 2013 10:44:59PM 4 points [-]

I agree that the derivation of (4) from (3) in the paper is unclear. The negation of a<b<c is not a>=b>=c.

Comment author: abramdemski 23 March 2013 11:51:35PM 1 point [-]

Ah, so there are already revisions... (I didn't have a (4) in the version I read).