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.
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!
Very cool, Dr. Roy! I’ve been teaching high school math the last 7 years, and have taken on many passion projects whose completion would benefit my teaching and my students’ learning, such as a decent wysiwyg math text editor! Alas, I haven’t had the time to complete most such projects, especially with 3 kiddos under age 7. Maybe I’ll have to wait until retirement to finish as well! Anyways, they’re still fun to think about and tinker with as time does allow.
Thanks for all the inspiration I’ve been deriving from you since almost 15 years ago! I think I’ll send you a little life update by email if you care to read.