I agree with, I think, about half of that.
My only issue with the first paragraph is the idea that âdoing surreal, nihilistically horrifying thingsâ can be âprovably the most ethical actions.â If you prove that nihilistically horrifying things are the most ethical actions, that means you picked your axioms very badly.
I think youâre arguing that all axiom systems will extrapolate to something surreal and horrifying, but that doesnât need to be the case. Because you can totally have an axiom: âdonât do anything surreal and horrifying.â Bam. Provably, you should never do anything surreal and horrifying.
I guess thatâs what you mean by âgiving up on trying to formalize and optimize ethicsâ? Which is basically what Iâm advocating.
Thatâs also kind of my response to your last point. The whole point of picking axioms based on your intuition is to make your results correspond, in some sense, to intuition-space. If you pick some axioms, extrapolate out, and get something totally unrecognizable, that means you should start over with better axioms. Not that you should die on your new and oddly-shaped hill.
And this is how we do math all the time. We come up with some axioms and see what they would mean. And sometimes we look at the result and say âfuck that, clearly thatâs not what I meant the first time around.â
Thereâs a game I play sometimes with my calculus students. I ask them to tell me what a limit is. Then I draw a picture of a function that technically meets their definition, but clearly doesnât have that limit. This game is actually really easy, if youâre playing with people who havenât seen the formal definition before.
But that doesnât mean that limits are wild and alien things that can never make sense, and the limit of secant as x approaches 0 is actually 0. It just means that their definition sucks and needs more nuance.
(To all the analystsand point-set topologists about to pop in and point out that limits are wild and alien things that can never make sense, trust me, I know.)
After writing this, I donât know whether I actually disagree with you, or whether weâre just putting emphasis in wildly different places. But if you try to formalize your ethical systems, and the results you get out are unrecognizable and bizarre and horrifying, that means you did it wrong and you should stop.
And Iâm skeptical of your entire project, because thereâs no reason to expect ethics to be cleanly formalizable in the way you want them to be. But you totally can formalize them. A list of brute properties is a formalization. Itâs just not a very tractable one.