PDC Homepage

Home » Products » Purchase

Teaching Philosophy

Volume 42, Issue 1, March 2019

Jesse Fitts, David Beisecker
Pages 41-56
DOI: 10.5840/teachphil2019116101

Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.