I am looking for books, articles, and websites that are basic introductions to the logic notation system created by Frederic Fitch. Recommendations welcome.

1 Answer 1


I learned Fitch-style natural deduction from Teller's A Modern Formal Logic Primer, which is freely available here. Teller goes through the motivations for specific formal decisions and outlines the strengths and weaknesses of formal reasoning. It's pretty good. I know of at least one intro to logic class that uses it as a textbook.

If you're going to TeX anything I recommend browsing LaTeX for Logicians. The specific package I use, thanks to this page, is fitch.sty.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .