In other forms, forall x
I wrote forall x primarily for use in my own logic course, to fit my syllabus in a way that was affordable for students. I made it available under a Creative Commons license primarily in hopes that other instructors might adopt it.
I get occasional e-mails from people who are using forall x to teach themselves logic, and that's cool too. Since it's designed to be accompany lectures and office hours, it's not perfect for self-directed study - but people say they find it useful.
Dave Morris at the University of Lethbridge was one of the first people to adopt it up as a course text. He was teaching abstract math, rather than philosophical logic, so it wasn't a perfect fit. Later, the CC license allowed Morris to use it as a starting point in writing his own textbook. He and his wife have written an abstract mathematics textbook called Proofs and Concepts which incorporates a lot of material from my book. They acknowledge this and provide a full citation in the front matter of their book.
This is not something that I had really thought through when I released forall x, but it is one of the great features of CC licenses. Once I have made something available, people find uses for it that I hadn't anticipated.
Mon 18 May 2009 09:39 AM