Like many other professors, I started making video lectures last Fall. It was hard but unsatisfying work. Even so, 97% of the students in the section of Introduction to Logic that just concluded thought that my video lectures were at least somewhat clear and helpful.1Continue reading “Lectures in logic”
Tag: forall x
Colour me chuffed
Under the headline How philosophy is making me a better scientist, Rasha Shraim discusses how her undergrad degree in Philosophy is helping her in genomics and data science.1
The article ends by recommending Philosophy resources for scientists and, under the heading of Logic and inference, suggests my free textbook forall x.
They don’t link to the webpage for the textbook here at fecundity.com, instead linking to the University of Minnesota Open Textbook Library. Nonethless, they give the citation as “(Fecundity, 2012).” It’s odd to see that in the same sentence as “(Oxford Univ. Press, 2012).”
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”
P.D.M. in the O.S.P.
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.
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”
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.
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.
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”