A quick wrap-up post. In previous posts I've covered some basics of SETL:
In Part I, I noted the basics of SETL, in a rough way.
In Part II and Part III, I discussed briefly some special cases and how SETL handles them.
In Part IV, I discussed some basics of argument using SETL.
Part V looked at some simple arguments for which SETL gives us a better sense of what's going on than ordinary predicate logic does.
In Part VI I looked briefly at Englebretsen's discussion of how to extend SETL to modality.
In Part VII I looked at Murphree's union of SETL with numerical syllogistic.
Here are a few on-line references for further reading. All of them except Purdy's review of An Invitation to Formal Reasoning are found at the Notre Dame Journal of Formal Logic at Project Euclid.
A Note on Contrariety
Do We Need Relative Identity?
Preliminary Notes on a New Modal Syllogistic
Sommers on Empty Domains and Existence
The Square of Opposition
Numerical Term Logic
On the Question, "Do We Need Identity?"
Review of Sommers & Englebretsen, An Invitation to Formal Reasoning
Predication in the Logic of Terms
The World, the Facts, and Primary Logic