Teaching Philosophy


published on January 29, 2019

Jesse Fitts, David Beisecker

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.