Tag: forall x

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.

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.

Continue reading “forall x v1.4”

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”