Benja 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: Benja 26 March 2013 02:06:14PM *  2 points [-]

Right, here's what's going on. The statement in the paper is,

The idea is not that this whole statement is an axiom schema. Instead, the idea is that the schema is the collection of the axioms for all rational numbers a,b and sentences phi such that . The full statement above is saying that each instance of this schema is assigned probability 1. (From what I remember of a previous conversation with Paul, I'm pretty confident that this is the intended interpretation.) The language in the paper should probably be clearer about this.

Comment author: Stuart_Armstrong 26 March 2013 02:23:54PM 0 points [-]

That makes sense...