Abstract
Although not entirely mainstream, uses of formal methods for the study of the history of philosophy, the history of logic in particular, represent an important trend in recent philosophical historiography. In this chapter, I discuss what can be achieved by the application of formal methods to the history of philosophy, addressing both motivations and potential pitfalls. The first section focuses on methodological aspects, and the second section presents three case studies of historical theories which have been investigated with formal tools: Aristotle’s syllogistic, Anselm’s ontological argument, and medieval theories of supposition.