I think Hurley might come with logic software, but I’m not sure.Īs for exercises that are fun, consider the following. Since practice is key for logic, it is helpful. I also recommend the prior suggestions about logic proof software. I think Hurley’s text makes that easier for the instructor because of the depth of its resources. Logic, like math, will never endear itself to most, but can be made more fun by not teaching it in a rote way. However, the Hurley text is frightfully expensive new or used.Īs for making the experience enjoyable for students, I think the #1 thing is to prepare as many interesting examples and practice exercises as you can. Other texts I’ve used have narrower coverage, are less easy to understand, have less examples, etc. Also, it’s so large and diverse in its topics that it’s easier to tailor the class. Hurley, more than any other text I’ve encountered, gives wide coverage in an easy to understand manner.
#MODAL LOGIC PLAYGROUND MAC#
Finally, there’s a good Mac app for constructing proofs (The Logic App). (I’m not posting the links since that tends to get comments relegated to a spam file but Google should call up these sites quickly.) I don’t know if you plan to get into modal logic, but there’s a site called ‘Modal Logic Playground’. E.g., there’s Blogic by David Velleman and Logic Self-Taught: a Workbook (by Katazhyna Papzhytska) Joe Lau at the Univ of Hong Kong maintains a site called “Critical Thinking Web”, which includes tutorial modules for some formal logic. There are also some good on-line resources. The rest of the questions are answered in a separate Instructor’s Manual.
#MODAL LOGIC PLAYGROUND MANUAL#
The Logic Book comes with a solution manual for the students, which has solutions for about half the exercise questions. All three of these texts can be used for two courses, one in intro formal logic and the other for a more advanced course that gets into meta-logic. It’s pitched at a slightly higher level of difficulty than The Logic Book. Also popular in my neck of the woods is Logic: Techniques of Formal Reasoning by Kalish, Montague, and Mar. If I teach formal logic again, I’ll go back to using The Logic Book by Bergmann, Moor, and Nelson. That’s a benefit if you go through the more advanced parts of the text, in which they prove some results about the system. They made that choice, I think, in order to keep the formal system relatively simple.
The authors of LPL are pretty spartan with the derivation rules. So, if you opt for it be sure to order it ASAP. They never did send the second copy for my TA. I didn’t get the text til the third week of classes and had to rely on a library copy (with no access to the software). When they did dispatch the book, they seem to have chosen the slowest mailing option. I didn’t find out about this until about a week into the class. It turned out that they won’t send any unless you write them a signed letter that provides certain bits of info. Chicago simply refused to send the desk copies. E.g., when the relevant official at my university’s textbook store placed the textbook order for my class, she ordered two desk copies (one for me, one for my TA). Their current distributor is the University of Chicago Press, which is not very accommodating when it comes to desk copies. Also, the authors need a better distributor.
#MODAL LOGIC PLAYGROUND FULL#
As a result, students pretty much have to pay full price for a new copy. Its main selling point is its software, but if you buy a used copy of the book you don’t have access to the software. Some students were ticked off because there’s not much of a re-sale market for that text. I tried Language, Proof, and Logic this past term.
0 kommentar(er)
