On page 42 of A Theory of Justice (the 1999 edition), Rawls says that moral theorizing might eventually involve "fairly sophisticated mathematics," and later in the book (page 105) he portrays striving for a "kind of moral geometry" as an ideal, here. But he also mentions (page 139) "the desirability of avoiding complicated theoretical arguments in arriving at a public conception of justice" modulo the universal publicity constraints set forth in section 23.
As far as he went in attempting to reach his own ideal, Rawls made use of curved graphs and Σ-notation (summation) at various points in AToJ. He also came up with and used plenty of mathematical descriptions and analogies more broadly (e.g. his story of a man who loves to count blades of grass but who "survives" by solving difficult mathematical problems in exchange for money; or his reference to the irrationality of trying to prove that π is an algebraic number; or how "being in the interior of the unit circle" is an example of a "range property").
So what, exactly, would his hoped-for "moral geometry" consist in? Different methods of teaching, different notation styles, and various other desiderata, can make different branches of mathematics seem variously more or less difficult than others to learn, understand, and apply. Mathematics as a whole has a reputation of being trouble for the average student, with harried midterms and finals, homework pockmarked with red-pen squiggles and remarks, etc.
Naive consequentialism seems to solve the problem in question by trying to advert to simple arithmetic. Rawls points out a slew of further problems with this attempt, though, e.g. the fact that there are ethical issues involved in the very definition of the utility calculus itself. And anyway, at the end of the day, utilitarianism did not resist the temptation to work with "cardinal value" ranging over irrational real numbers, and Nick Bostrom (for example) has analyzed what happens when we entertain various infinitary conjectures, relative to the "simple addition" of units of ethical value. And going back to consequentialism more broadly, Moore, for example, AFAIK never specifically explicated how the principle of organic unities actually modulates the arithmetic on his "intrinsic value."
Supposing that moral information at least has a strong tendency to be "action-guiding," and that answers to moral questions should have always been accessible, then it might seem as if branches of mathematics that depended on modern developments in the general discipline, to emerge as major intellectual structures, would be ruled out, here. For example, the theory of sedenions prerequires the theory of quaternions, which prerequires the theory of imaginary and complex numbers. So perhaps there is nothing to be said in favor of supposing that sedenions have anything to do with moral questions as such, or even if they did, it would only be at the tail end of a particular deduction of a duty applying to the life of a modern mathematician, and not a responsibility fundamental to the overarching system of responsibility and to the lives of people in general.
ADDENDUM
There is a suspicion, in fact, that mathematics, no matter how otherwise "simple," could never substantially figure in plausible moral judgments, at least of a fundamental kind. Even the array of mathematical knowledge with respect to geometry and number theory, achieved in ancient Greece, required access to things like stone tablets or palimpsests on which to write out the deductions involved. But imagine you are an elder tribe almost hopelessly lost in the desert. How many quills and scrolls (and how much ink?) are you going to have access to, how easily will you be able to preserve your derivations (maybe you need to burn your paper supply, to stay warm!), etc.? Or what are you going to do when caught in the middle of a war, sit down somewhere quiet and transcribe your exotic moral doctrines? There are those who can carry out intricate mathematical analysis purely in their heads, but these are few and far between among the people of the world, so that deferring to their abilities would end up casting ethical knowledge in an unfairly (unreasonably...) elitist light. By contrast, appealing to divine revelation or raw intuition (as in Moore and Ross) might seem the only appropriately reliable methods of ethical judgment, in such contexts.
C
, then you ought toP
; if not, you must default toD
? Or is the worry that such principles fail to be sufficiently "fundamental"? If so, how sure are you that fundamental principles have to be categorical in form & why?