But anyway, one thing I have been doing is working on my chapter for the Handbook of Formal Philosophy, edited by Sven Ove Hansson and Vincent F. Hendricks. The chapter is on uses of formal methods in the study of the history of philosophy (having done a fair amount of 'formal history of philosophy' myself). It presents methodological considerations and three case studies: Aristotle's syllogistic, Anselm's ontological argument, and medieval theories of supposition. More generally, the application of formal methods in the study of the history of philosophy offers an interesting vantage point to reflect on the methodology of formal methods across the board.
I've put a draft of the chapter online, should anyone be interested in taking a look; as always, comments are welcome.