La teoría de juegos y la teoría de contratos son en sí mismas teorías morales. Son teorías sobre cómo deben comportarse las personas, no teorías sobre cómo se comportan las personas; ambos tienen pésimos registros con respecto a la evidencia empírica, excepto en contextos muy cuidadosamente estructurados y limitados. Lo que estás sugiriendo ni siquiera es como poner el carro antes que el caballo, sino más bien como poner el caballo en el carro y luego arrastrarlo a donde creas que debería ir.
El problema con la idea de una ética matemática es que si tuvieras una filosofía ética que fuera matemática, si no fuera por su propia definición, implicaría la ética. La ética requiere elección, inherentemente. La matemática es funcional. No hay funciones que modelen la elección. La matemática es determinista o estocástica; el primero rechaza por completo la idea de elección y el segundo trata la elección como un fenómeno aleatorio (donde invocar la aleatoriedad derrota la intención de la ética).