During MIT's 2017 "Interim Activities Period" I taught a crash course in two common formal methods used in epistemology: probability and epistemic logic. The goal was to develop an intuitive understanding of these methods, as well as their potential applications and limitations. Here are the handouts:
In 2012 I interviewed professors on how they wanted their undergraduates to write philosophy papers. The results are distilled into this short handout, which I've found helpful to distribute (along with well known, but lengthier, guides) when undergraduates write their first papers:
For years Branden Fitelson has been telling me that Wolfram Mathematica is a valuable resource for formally-minded philosophers to explore and build formal models. I've finally been convinced. As such, here I'll collect programs I've written to help in modeling philosophically-interesting situations. (You'll need Mathematica to run these notebooks. It's proprietary, but students get a discount---and many universities foot the bill for their students/faculty entirely).