Michael Rieppel

Below you can find syllabi and course descriptions from some of the classes I've taught. See further below for information on forallx@syr, the logic textbook I use in my introductory logic course.

Most of my teaching has been in the philosophy of language and logic, though I've also taught some general intro to philosophy and intro to ethics classes. In the future I'd also like to start teaching a second more advanced logic class, probably on modal logic and its applications. I'm always open to requests from students too!


In 2019 I put together the forallx@syr textbook for my introductory logic class. This is an open source logic text licensed under a CC BY-SA 4.0 license, based on Tim Button's forall x: Cambridge, which is in turn based on P.D. Magnus' original forall x. You can download forallx@syr here: This text covers symbolization, semantics, and natural deduction for truth functional logic and first-order logic. The main changes I've made compared to Button's forall x: Cambridge are the following: Besides the obvious debt the present text owes to the forall x editions that P.D. Magnus and Tim Button have so generously made available, it also draws on ideas from Graeme Forbes' Modern Logic (which I used as my intro logic textbook for many years before putting together this book), Barwise and Etchemendy's Language, Proof, and Logic, Belnap's The Art of Logic, Goldfarb's Deductive Logic, the forall x: Calgary Remix, and lecture notes I collected from Branden Fitelson, Daniel Warren, and John MacFarlane. If you would like to use this book, or modify it in any way, you are free to do so under the following terms: Below are links to some other versions of forall x you can check out. I hope more people will jump on board and expand the list: