The Open Syllabus Project “collects and analyzes millions of syllabi” including 73,114 for Philosophy courses. One search function shows assigned texts by author. The inevitable vanity search returns seven things written or co-written by me. The most prevalent is forall x, but Scientific Enquiry and Natural Kinds even showed up on one syllabus.
I’m teaching Introduction to Logic for the first time in several years. The course text is my own forall x. It’s always been an open textbook, even back before I had good vocabulary for explaining what that means. But now it’s available from SUNY OER Services, and they’ve partnered with SUNY Press so that my students are able to buy a hardcopy from the campus bookstore for just $8.50.
Working through it this time, I’ve hit a couple of things which I am considering changing.Continue reading “Revising details in forall x”
P. D. Magnus’s forall x has been around for over a decade, and because it’s open, people can use it as a starting point for derivative versions with different features.
The new edition of forall x will be posted soon. Anybody who has used the book before will find the changes so small as to make almost no difference, but I wanted to discuss what I did beyond correcting typos. First, I’ve changed the formatting a bit. Second, I’ve changed the notation for substitution instances in proofs (again). Third, I’ve changed the license to be even more permissive.
It’s been over a decade since I released the first edition of the open access logic textbook forall x. It’s been a few years since my last update, because it’s been a few years since I last taught logic.
A number of people have made their own editions of forall x over the years, but 2017 was a breakout year: Continue reading “A big year, forall x”