Abstract

If non-human animals experience wellbeing and suffering, such welfare consequences arguably should be included in a social welfare evaluation. Yet economic evaluations almost universally ignore non-human animals, in part because axiomatic social choice theory has failed to propose and characterize multi-species social welfare functions. Here we propose axioms and functional forms to fill this gap. We provide a range of alternative representations, characterizing a broad range of possibilities for multi-species social welfare. Among these, we identify a new characterization of additively-separable generalized (multi-species) total utilitarianism. The multispecies setting permits a novel, weak species-level separability axiom with important consequences. We provide examples to illustrate that non-separability across species is implausible in a multi-species setting, in part because good lives for different species are at very different welfare levels. Finally, we explore the consequences for evaluating climate policy and understanding speciesism and non-climate environmental goals, such as biodiversity.