Michael Rieppel

Below are links to syllabi from some of the courses I've taught in recent years. See further below for information on forall x @ syr, the logic textbook I use in my introductory logic course.

As you can see, most of my teaching is in the philosophy of language and logic, though I've also taught some general intro to philosophy and intro to ethics classes. Courses I've thought about teaching in the future include a class on the history of analytic philosophy (focusing on Frege, Russell, and Wittgenstein), and another advanced logic class (either on modal logic or on computability and Gödel's incompleteness theorem, can't decide). I'm also open to requests from students.


Forall x @ Syr

For my introductory logic class, I have put together the forall x @ syr textbook. 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 access it through the following links: 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 and Daniel Warren at UC Berkeley. 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 further versions of forall x you can check out. I hope more people will jump on board and expand the list: