I am happy to say that my projects page has been updated with some sweet pictures! The gallery of these photos is below. The four current projects listed there are:
- Coding the Proofs of Principia in Coq (with a photo of the first two proofs of Principia and the corresponding implementation in Coq)
- Digitizing and Publishing Bertrand Russell’s Pocket Diaries (with a photo of Russell’s 20-22 January 1918 pocket diary, which includes his first logical atomism lecture)
- A Public-Domain Prototractatus (with a photo of the University of Iowa Tractatus Map)
- The Search for Logical Forms: In Defense of Logical Atomism
This last project was my thesis, and I am developing a number of papers that build on my new reading of logical atomism—including papers that I am presenting at the British Society for the History of Philosophy, and for the Society for the Study of the History of Analytical Philosophy this 2019!