Hankel's principle as an anti-Kantian program

Hankel used his principle of the permanence of formal laws (PFL) as a guide for the extension of number systems and as a necessary condition for the legitimacy of their formal theories.

He acknowledged that these applications have important limitations, evidenced by the extension to hypercomplex numbers and by what he saw as the unavoidable inconsistency of a formal theory of irrational numbers.

Yet, intriguingly enough, he remained fully committed to the PFL.

I argue that this was due to his understanding it as an expression of a conservative strategy, inherited from Peacock and Hamilton, which permits the revision of the basic laws of arithmetic if there are reasons for revision that are found, upon deliberation, to outweigh the reasons for their preservation.

Then I discuss criticisms by Schubert and Pringsheim, who reformulated the PFL to align it with their own anti-revisionary conservative strategy, at the cost of relinquishing parts of modern mathematics.

I conclude by emphasizing the deep philosophical difference between these kinds of conservatism in mathematics.