Working through it now - reading the Laws of Thought by George Boole was a spiritual experience for me. The connection between natural language, logic, and math finally made sense to me. Before I had a hard time understanding the saliency of things like Analytic Philosophy (what does language have to do with truth?) or why the work of someone like Chomsky would be so important to computer scientists. Boole wasn't the only person at time to work on a project to reduce logic to solvable equations (clearly that time in history was ripe for this work, and also Leibniz had laid some of the spiritual groundwork, himself inspired by Ramon Llull and Confucian texts) but the way he wrote about it really resonated with me.

The other surprising thing to me was that it didn't really resemble modern algebra at all. As a former math student I think it's easy to create a mental model of math history where when new fields are created they resemble the modern incarnation. But when you actually look at the primary founding texts its clear the ideas and notation are pretty unrefined at least compared to today's standards.

I've had that book on my shelf for so long, I really do need to shift it higher in my reading list.

Should Russell and Whitehead count as well, in terms of this path which seems focused on the formal logic aspect?