Speaking of classical logic, I came across a book on Fred Sommers' work entitled "The Old New Logic" (David Oderberg is editor). I haven't read it yet, so I can

Speaking of classical logic, I came across a book on Fred Sommers' work entitled "The Old New Logic" (David Oderberg is editor). I haven't read it yet, so I can't comment, but based on some excerpts and reviews, it sounds like a good read. I thought I'd mention it here for those interested. Link: https://mitpress.mit.edu/books/old-new-logic https://mitpress.mit.edu/books/old-new-logic Also, those interested in the fallout of Russell's paradox are encouraged to look into Lesniewski's mereology (this is a topic that occurs in my master's thesis where I attempted to formalize the structure of Aristotelian living things mereologically using many-sorted logic). In short, Lesniewski held that the axiomatic set theory of the day betrayed the intuitions of naive set theory and resulted in paradoxes. He attempted to dispense with the these paradoxes by proposing a formal system known as mereology that replaced the primitive element relation in set theory with the parthood relation (other relations can be defined in terms of parthood, e.g., overlap, disjoint, proper/improper parthood depending on which one you assume, and vice versa). Link: https://plato.stanford.edu/entries/lesniewski/ https://plato.stanford.edu/entries/lesniewski/