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”

Paean for the open internet

Today is a day of action in which technology companies plump for net neutrality. Action seems to mean talking on the internet.

In filling out a petition-thing, I wrote this:

There’s a form letter I could have cut-and-pasted here, but this is important enough to write my own words. As a user of the internet, I want to be able to access the content which I decide matters. I want it to come at the same speed other content would come at, rather than having it be faster or slower based on whether someone who owns that content has decided to pay more for access to me. If they get control over accessability and relative speed, then I’m not a consumer anymore but instead I’m the product that the service provider sells to their customers. That’s why net neutrality matters.

It seemed worth posting here, too.