TobyBartels comments on Harry Potter and the Methods of Rationality discussion thread, part 3 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (560)
Going one step further doesn't (generally) add restrictions; it just changes them. Consider:
Using classical logic after the modal operator, these reduce to:
Actually, now that I write it out like this, I can see why one would choose (3)!
It's important that there's an ‘if I know that’ instead of an ‘iff’, which I've seen before. But the version above is how I parsed WrongBot's statement, so hopefully WrongBot quoted it correctly. (The search function is not helping me find an original.)