My claim is that expected utility theory is and should be silent on the design of human-appropriate utility functions, but that decision theory should include a component focused on the design of human-appropriate utility functions.
What do you mean by "the design of human-appropriate utility functions"?
Can you give me two examples of useful results he derives from the axioms? That'll help me target my response.
Actually, let me show you a section of Peterson (2009), which is an updated and (I think) clearer presentation of his axiomatic ex ante approach. It is a bit informal, but is mercifully succinct. (The longer, formal presentation is in Peterson 2008). Here is a PDF I made of the relevant section of Peterson (2009). It's a bit blurry, but it's readable.
What do you mean by "the design of human-appropriate utility functions"?
A utility function that accurately reflects the beliefs and values of the human it's designed for. Someone looking for guidance would get assistance in discovering what their beliefs and values about the situation are, rather than just math help and a consistency check. Similarly, someone could accidentally write a utility function that drowns them in vinegar, and it would be nice if the decision-making apparatus noticed and didn't.
That's my interpretation of "he's ju...
In the standard approach to axiomatic Bayesian decision theory, an agent (a decision maker) doesn't prefer Act #1 to Act #2 because the expected utility of Act #1 exceeds that of Act #2. Instead, the agent states its preferences over a set of risky acts, and if these stated preferences are consistent with a certain set of axioms (e.g. the VNM axioms, or the Savage axioms), it can be proven that the agent's decisions can be described as if the agent were assigning probabilities and utilities to outcomes and then maximizing expected utility. (Let's call this the ex post approach.)
Peterson (2004) introduces a different approach, which he calls the ex ante approach. In many ways, this approach is more intuitive. The agent assigns probabilities and utilities directly to outcomes (not acts), and these assignments are used to generate preferences over acts. Using this approach, Peterson claims to have shown that the principle of expected utility maximization can be derived from just four axioms.
As Peterson (2009:75,77) explains:
Jensen (2012:428) calls the ex ante approach "controversial," but I can't find any actual published rebuttals to Peterson (2004), so maybe Jensen just means that Peterson's result is "new and not yet percolated to the broad community."
Peterson (2008) explores the ex ante approach in more detail, under the unfortunate title of "non-Bayesian decision theory." (No, Peterson doesn't reject Bayesianism.) Cozic (2011) is a review of Peterson (2008) that may offer the quickest entry point into the subject of ex ante axiomatic decision theory.
Peterson (2009:210) illustrates the controversy nicely:
I'm not a decision theory expert, so I'd be very curious to hear what LW's decision theorists think of the axiomatization in Peterson (2004) — whether it works, and how significant it is.