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.

[ add comment ] ( 3776 views )   |  [ 0 trackbacks ]   |  permalink

<<First <Back | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | Next> Last>>