Tangentially, looking through this, I note that it appears to address the circularity of basing utility on probability and probability on utility. It claims there's a set of axioms that gets you both at once, and it's due to Leonard Savage, 1954. How has this gone unmentioned here? I'm going to have to look up the details of this.