Logical decision theories — LessWrong