Traditionally, Thomas S. Kuhn’s The Structure of Scientific Revolutions (1962) is largely identified with his analysis of the structure of scientific revolutions. Here, we contribute to a minority tradition in the Kuhn literature by interpreting the history of evolutionary biology through the prism of the entire historical developmental model of sciences that he elaborates in The Structure. This research not only reveals a certain match between this model and the history of evolutionary biology but, more importantly, also sheds new light (...) on several episodes in that history, and particularly on the publication of Charles Darwin’s On the Origin of Species (1859), the construction of the modern evolutionary synthesis, the chronic discontent with it, and the latest expression of that discontent, called the extended evolutionary synthesis. Lastly, we also explain why this kind of analysis hasn’t been done before. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

This article considers the implications of inferentialist philosophy of language for debates in the historiography of philosophy. My intention is to mediate and refine the polemics between contextualist historians and ‘analytic’ or presentist historians. I claim that much of Robert Brandom’s nuanced defence of presentism can be accepted and even adopted by contextualists, so that inferentialism turns out to provide an important justification for orthodox history of philosophy. In the concluding sections I argue that the application of Brandom’s theory has (...) important limits, and that some polemics by contextualists against presentists are therefore justified. (shrink)

hilosophy of history and history of philosophy of science make for an interesting case of “mutual containment”: the former is an object of inquiry for the latter, and the latter is subject to the demands of the former. This article discusses a seminal turn in past philosophy of history with an eye to the practice of historians of philosophy of science. The narrative turn by Danto and Mink represents both a liberation for historians and a new challenge to the objectivity (...) of their findings. I will claim that good sense can be made of “working historical veins of possibility” (contrary to how the phrase was originally intended) and that already Danto and Mink provided materials (although they did not quite advertise them as such) to assuage fears of a constructivist free-for-all. (shrink)