4

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

2

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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.