I already have a post about that. Unfortunately I screwed up the terminology and was rightly called on it, but the point of the post is still valid.
Thanks. I actually found your amendment more enlightening. Props again for your focus on the technical aspects of rationality, stuff like that is the saving grace of LW.
I've long held CMU's philosophy department in high regard. One of their leading lights, Clark Glymour, recently published a short manifesto, which Brian Leiter summed up as saying that "the measure of value for philosophy departments is whether they are taken seriously by computer scientists."
Selected quote from Glymour's manifesto:
Also see the critique here, but I'd like to have Glymour working on FAI.