Home » Symbolic Logic APPlication (SLAPP)

Symbolic Logic APPlication (SLAPP)

**This page is not hidden, but neither is it “published.” For now, it is to make SLAPP available to evaluators.**

SLAPP Icon

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. In addition, exercises corresponding to chapters 1 – 8 of Symbolic Logic are provided, as well as assignments corresponding to the course of study listed on the textbook page. 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.

To obtain the program, follow instructions for installation on PC or installation on Mac.

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 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: