Lange, Morley’s Theorem and Explanatory Pluralism

Abstract This paper considers a range of proofs of Morley’s theorem, and uses this variety to argue for pluralism about explanatory proof. The main alternative to pluralism is Lange’s proposal that an explanatory proof obtains the salient feature of some theorem by exploiting the same kind of feature of the theorem’s setup. This proposal can be amended in a wide variety of different ways to deal with the proofs of Morley’s theorem that I consider. However, it is not clear how to revise Lange’s proposal to reach the right verdict in all of these cases.