Let slip the dogs of logic

My open access logic textbook, forall x, has been forked into numerous custom editions. This means that problem sets which I wrote years ago have been picked up and adapted.

The formal exercises are not especially distinctive, but the exercises translating from English into formal logic are about specific topics. Some of these were arbitrary inventions, like the sentences about Eli and Francesca who might or might not be bringing guacamole to a potluck. Guacamole was salient to me when I was writing the book, but I think I chose Eli and Francesca just because they started with E and F.

Continue reading “Let slip the dogs of logic”

Revising details in 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.

Continue reading “Revising details in forall x”

forall x v1.4

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”

A big year, forall x

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”