Home » Uncategorized » SLAPP: Symbolic Logic APP

SLAPP: Symbolic Logic APP

For what it is worth, I am embarked on a (long-term) project to produce an open-source computer application that would be a context for creation, submission, and correction of exercises for Symbolic Logic. If you are contemplating study of Symbolic Logic, do not “wait for it,” it will be a long time coming. However over the next years I do hope to release the program bit by bit. Among goals are,

  • Exercises are cleaner and easier (more fun) in SLAPP than on paper. (This is not trivially true – see many existing web apps.)
  • Provides contextual feedback and checking, with goal that students always complete exercises correctly – or at least know that and where they have problems.
  • Runs on as many platforms as possible – but primarily on laptop / desktop.

Quite generally, logic software is beset by a problem of resources: The market is not large enough to support full-scale commercial development (as for mathematics), and instructors may have neither the time nor training to develop full-fledged software projects on their own. I hope to overcome at least the time problem by the magic of “retirement”! T.R.


  1. Hello,

    Studied and enjoyed Symbolic Logic at the University of Tampa back in 1983. How’s the app coming along? I’ve been considering creating such a thing myself and am doing a little digging to see if it’s already out there.


    • I’m making progress on the app, but slowly! Yes, there are a number of things out there, but I haven’t been satisfied by any. If you do find something useful, let me know!

Leave a comment

Your email address will not be published.