SLAPP 3.0 along with a (lightly revised) version of the Symbolic Logic text are now available!
SLAPP 3.0 includes the first installment of the checking and feedback that SLAPP is meant to include. There is checking for all the derivations in chapters 3 and 6 of Symbolic Logic. The check feature itself provides significant help with respect to rules. In addition, however, the basic I- and E-rule systems of chapter 6, NDs and ND, include a “contextual help” feature. Contextual help implements the “strategies” of Symbolic Logic chapter 6, providing suggestions for how to reach current goal expressions.
There are numerous additional smaller changes and bug fixes. One of the most significant is that there is now an “instructor login” for which an instructor will need to make a password request. And there are new Quick Start, Derivation and Instructor help videos to reflect changes.
*Exercises from previous versions (either downloaded or created by you), will continue to open in SLAPP. However older derivation exercises will have check and help functions uniformly off. Further there have been revisions to exercises both for SLAPP and in the text. In order to access derivation check and help features, and to keep textbook and SLAPP exercises in sync, you should download the text and exercises again.