Jack comments on Logical Uncertainty as Probability - Less Wrong

3 Post author: gRR 29 April 2012 10:26PM

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

Comments (22)

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

Comment author: Jack 30 April 2012 01:44:55AM *  1 point [-]

So then it isn't true that P(S|X) = 1 if and only if S∈OLC(X).

Comment author: gRR 30 April 2012 02:18:39AM *  0 points [-]

If X = { "2*2=4" }, then P("2*2=4 ∨ 0=1" | X) = 1, because "2*2=4 ∨ 0=1" ∈ OLC(X).
However, P("2*3=6" | X) < 1, although P("2*3=6" | X ∪ {"2*3=6"}) = 1.