**This page is not hidden, but neither is it “published.” For now, it is to make SLAPP available to evaluators.**
SLAPP is an application for working exercises in Symbolic Logic. The ultimate aim is for it to provide checking and feedback. However, in this first version, SLAPP is an exercise editor, sufficient for the production of exercises from (at least) Volume 1 of the text. Even so, exercises are cleaner and easier (more fun) in SLAPP than on paper.
SLAPP is [open-source] and freely available. Win and Mac versions are linked below. Download, open, and follow instructions. In addition, exercises corresponding to chapters 1 – 8 of Symbolic Logic, along with assignments following the course of study from the textbook page are provided. It is possible to create custom exercises and assignments. In the ordinary case, students work with assignments. Instructors may wish to create and combine exercises into assignments of their own.
- SLAPP 1.00α Windows – Win 10 and up, 64 bit
- [SLAPP 1.00a Macintosh] – OS 12 and up, 64 bit
- Symbolic Logic exercises
- Symbolic Logic assignments
- SLAPP Version Changelog (current: 1.0α)
Sometimes a picture really is worth a thousand words. In the SLAPP help area, you will find short videos for the program as a whole, and then for each of the main exercise types. When you first open SLAPP, many of the elements look like ones you have seen before. But there are enough special features that you will save yourself a lot of frustration if you begin at least with the introductory video. It is also worth a glance at the ‘technical matters’ mentioned toward the end of the text ‘General Info’ help item (especially on Mac).
It is likely that there will be difficulties with this early version of SLAPP. For this version, every user becomes an evaluator and tester. Comments are much appreciated. There are different ways to provide feedback. Comments may be provided by email and similarly by the SLAPP ‘comment/report’ help item. Those who are technically adept may submit though the [GitHub] issues section. Reviews and other items that deserve public discussion may be submitted to the Symbolic Logic Blog.
Some SLAPP screen images:
