The problem with L+1 is that it permits for there to be two different moral arguments, say evaluating the hypothetical action A==1 as having different utility, that have approximately the same proof length (L and L+10, say). If that is the case, it’s not clear in what sense is the shorter one any better (more “natural”, less “spurious”) than the longer one, since the difference in proof length is so insignificant.
On the other hand, if we have the shortest moral argument of length less than L, and then the next moral argument is of length at least 10^L, then the first moral argument looks clearly much better. An important point is that step 2 is not just checking that the proofs of the longer moral arguments are much longer, instead it actually makes it so, it wouldn’t be the case if step 2 were absent.
Having f(L)=L+1 would be sufficient to protect against any “moral arguments” that involve first proving agent()!=a for some a. Do we have any examples of “spurious” proofs that are not of this form?
The problem with L+1 is that it permits for there to be two different moral arguments, say evaluating the hypothetical action A==1 as having different utility, that have approximately the same proof length (L and L+10, say). If that is the case, it’s not clear in what sense is the shorter one any better (more “natural”, less “spurious”) than the longer one, since the difference in proof length is so insignificant.
On the other hand, if we have the shortest moral argument of length less than L, and then the next moral argument is of length at least 10^L, then the first moral argument looks clearly much better. An important point is that step 2 is not just checking that the proofs of the longer moral arguments are much longer, instead it actually makes it so, it wouldn’t be the case if step 2 were absent.
Having f(L)=L+1 would be sufficient to protect against any “moral arguments” that involve first proving agent()!=a for some a. Do we have any examples of “spurious” proofs that are not of this form?