Symbolic Logic APPlication (SLAPP)

SLAPP is an application for working exercises from the Symbolic Logic textbook by Tony Roy (and maybe other texts too). The ultimate aim is for it to provide checking and feedback on work. However, in this first version, SLAPP is an exercise editor, sufficient for the production of exercises from (at least) the first volume of the text. Mac and PC install packages are available through the SLAPP website.

This version of SLAPP divides into three modules. There is the main SLAPP Editor module, and adapted versions of the gluonhq Emoji and Rich Text Area. The Rich Text Area makes possible the extended editing features of SLAPP. At the same time the RTA is itself a work in progress and certain instabilities of it make their way into SLAPP. Ideally SLAPP and the Rich Text Area will grow together to result in a stable project.

The Symbolic Logic APPlication code is submitted as-is. It is a "retirement project" by an author professionally trained as a philosopher -- not as a programmer. It is likely that some features (especially repeated code) will set a software engineer's hair on fire. All the same, it may be a basis for continued contribution and improvement.