This is a location for discussion of Symbolic Logic. Comments may range from general review and evaluation of the text, to details of presentation. 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).
I have been (obsessively) proofreading Symbolic Logic for a while now. The result is many improvements, most small, but some significant. A few matters of formatting and such to the side, the current version 9.x is (at least very close to) the completed project — although, of course, it still might be improved, especially in response to your comments. But it is time for me to move on, and especially to get back to the Symbolic Logic App.
If you have downloaded a previous copy–and especially if you will take up Parts II, III, and/or IV — I strongly recommend that you obtain the new version!! T.R.
It is surprising to me that the initiation of this textbook blog seems to have reduced, rather than expanded, commentary on SL (which I used to receive regularly by e-mail). It is not the case that fewer people are using the text. Perhaps the public nature the forum discourages participation? Or maybe nobody wants to be “the first”? If you have an explanation, I would love to hear. For now, I can only encourage you that I welcome comments, and that the public nature of the forum lets your discussion benefit others (and email is still fine). T.R.
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.
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.
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.