The scope is limited relative to what you seem to want, but I thought I might mention the book Theories of Distributive Justice by John Roemer. It walks through several popular philosophical approaches to distributive justice like utilitarianism, maximin principle, etc at a formal level, and discusses relevant results that have been proven about them. I've only leafed through it though, so I can't necessarily vouch for it, but you might want to check it out.
Hello, I am currently trying to find all the attempts at mathematical modeling of ethics (utilitarianism, axiologies, etc.) I have found several, do you have any ideas of keywords to type or even articles to suggest here ?
An example of a (simple) model is the notion of utility in the Von Neumann-Morgenstern Theorem, but I am interested in any attempt to formalize ethical situations.
More fundamentally, formalizing rules allowing to order the possible worlds (resulting from actions that an agent does or does not do).
A kind of mathematical model of the Must Be by ordering desired consequences (state of the world).
For the moment I found these, for example: