Updated Projects Page!

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 slideshow requires JavaScript.

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!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s