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.
Englebretsen, George
A Note on Contrariety
Do We Need Relative Identity?
Opposition
Preliminary Notes on a New Modal Syllogistic
Sommers on Empty Domains and Existence
The Square of Opposition
Murphree, Wallace
Numerical Term Logic
Purdy, William
On the Question, "Do We Need Identity?"
Review of Sommers & Englebretsen, An Invitation to Formal Reasoning
Sommers, Fred
Predication in the Logic of Terms
The World, the Facts, and Primary Logic
