A Survey of Mathematical Ethics which covers work in multiple disciplines. I’d love to know what parts of ethics have been formalized enough to be written mathematically and, for example, any impossibility results that have been shown.
Regarding impossibility results, there is now also Brian Tomasik’s Three Types of Negative Utilitarianism.
There are also these two attempted formalizations of notions of welfare:
Daswani and Leike (2015): A Definition of Happiness for Reinforcement Learning Agents.
Formalizing preference utilitarianism in physical world models, which I have written.
impossibility results
Here’s one.
A Survey of Mathematical Ethics which covers work in multiple disciplines. I’d love to know what parts of ethics have been formalized enough to be written mathematically and, for example, any impossibility results that have been shown.
Regarding impossibility results, there is now also Brian Tomasik’s Three Types of Negative Utilitarianism.
There are also these two attempted formalizations of notions of welfare:
Daswani and Leike (2015): A Definition of Happiness for Reinforcement Learning Agents.
Formalizing preference utilitarianism in physical world models, which I have written.
Here’s one.