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.
jolly good
As a retired engineer, I decided to get back to my passion of understanding ethics. Most of the works were clearly woolly and very soon I realized that I needed to enhance my skills in logic to make any headway in this direction. Most of the recent books in logic were loaded in formal mathematics and appeared way beyond my reach. It was then that Prof Roy’s book on the Internet came as a pleasant surprise. Two years later, I managed to complete most of the exercises in his book and understand the principles. It is to Prof Roy’s credit that someone like me with little training in formal mathematics can learn such a difficult subject and all along keep my interest in it without being daunted by the complexity of the subject. During this journey, Prof Roy gave his time unstintingly to respond to my queries. Nuggets of Russelian wit, veiled challenges to the daredevils, and his love for his family are sprinkled in every chapter in this book. What attracted me most were the problems at the end of each chapter; in every chapter you invariably find one which asks the student to draft a short note explaining the main ideas in the chapter in a language his teenage daughter can understand. It is well known that, if you understand something well, you ought to be able to communicate that to the non-initiated. And, equally if you teach someone what you learnt, your concepts become even clearer. As the Tamil poet says, knowledge is rare commodity that grows by giving. To recognize this and challenge the reader to try his hands at this, Prof Roy shows great intuition in the art of teaching.
As an old man living in the UK, I cannot say his book is cool, but perhaps I could say it is jolly good. R.V.
answers to exercises
The complete answers to exercises is included in the answers version for instructors (including “hard-core” exercises later in the text). With this, it is easy for me to move answers in or out of the Selected Answers. Short of including them all, if you think some answer(s) should or should not be included among the Selected Answers, let me know. T.R.
The Logic Blog
This is a location for discussion of topics in logic — and especially of issues related to the Symbolic Logic textbook and the Symbolic Logic APPlication. Comments may range from general review and evaluation, down to details. We can discuss substantive questions about logic too. You may submit a post of your own or add comments to another. If you require special symbols, \LaTeX code may be inserted between the markers [latex] . . . [/latex] — to start with this, see LaTeX Typing (you see the compiled result only when posted).