It seems to be an argument in favor of arithmetic being objective that almost everyone agree that a certain a set of axioms correctly characterize what natural numbers are (even if incompletely), and from that set of axioms we can derive much (even if not all) of what we want to know about the properties of natural numbers. If arithmetic were in the same situation as morality is today, it would be much harder (i.e., more counterintuitive) to claim that (1) everyone is referring to the same thing by “arithmetic” and “natural numbers” and (2) arithmetic truths are mind-independent.
To put it another way, conditional on objective morality existing, you’d expect the situation to be closer to that of arithmetic. Conditional on it not existing, you’d expect the situation to be closer to what it actually is.
It seems to be an argument in favor of arithmetic being objective that almost everyone agree that a certain a set of axioms correctly characterize what natural numbers are (even if incompletely), and from that set of axioms we can derive much (even if not all) of what we want to know about the properties of natural numbers. If arithmetic were in the same situation as morality is today, it would be much harder (i.e., more counterintuitive) to claim that (1) everyone is referring to the same thing by “arithmetic” and “natural numbers” and (2) arithmetic truths are mind-independent.
To put it another way, conditional on objective morality existing, you’d expect the situation to be closer to that of arithmetic. Conditional on it not existing, you’d expect the situation to be closer to what it actually is.