A second, paperback, edition of Plural Logic by Alex Oliver and Timothy Smiley is now out from OUP. As the cover says, it is ‘Revised and Enlarged’ – in fact it is almost fifty pages longer, with some new sections and a whole new chapter on Higher-Level Plural Logic. So you should certainly make sure that your library gets a copy.
I did read and comment on a version of the original edition pre-publication. But that was not at a good time for me, and I remember much less detail than I should: so I really want now to re-read the book. One reasons is that, in reworking my Introduction to Formal Logic, I want to excise unnecessary set talk, e.g. when giving the semantics of QL. So I want to remind myself how Oliver and Smiley handle this. And there is also a tenuous potential connection too between thinking about plurals and another interest, my on-the-back-burner introductory discussion of category theory. For I need to think through how far we can get in elementary category theory by conceiving of categories plurally rather than as set-like, thereby avoiding certain problems of ‘size’ hitting us too soon.