Requirements: Grades will be based primarily on 4 tests during the semester (16% each) and a 5th test (24%) during the final exam period. Each is primarily devoted to the portion of the course since the previous test; however, the material in the course is naturally cumulative, and, in addition, one half of the final test will consist of questions that are specifically designed to look back to earlier parts of the course. The rest of your grade (12%) will reflect your class attendance and participation and the regularity with which you have handed in homework assignments.

Attendance and homework: You will be automatically excused from a class if you notify me in advance that you will miss it (e-mail or voice-mail messages are fine). After the fact, you will be excused if you give me a good reason or a dean’s excuse.

I don’t credit homework that I receive late (i.e., after the beginning of the class when it is due), so (depending on the circumstances) I may ask you to submit homework in advance if you arrange to miss a class; an excuse sufficient to excuse you from class after the fact is sufficient to excuse you from the homework due that day. But even if homework will not be credited, I encourage you to submit it for feedback, and I will be happy (even delighted) to give you feedback on exercises I haven’t assigned as homework.

Homework assignments will be made in class and are due at the beginning of the next class. If you miss a class, I’ll expect you to seek out the homework assignment. I’ll be happy to respond to e-mail and phone calls about this, but the assignments will be posted on the class web site (unless I forget—so don’t count on finding them at the last minute).

Text: The full text, Notes for Elementary Symbolic Logic, is available on line. A link to the table of contents is at the left of this window and you can find links to individual sections in the calendar and list of topics (to which there are also links at the left). Most of the content of the text is also available in pdf format (there are links to that both in the table of contents and the list of topics); however, there are some animated or interactive components that can only be viewed using a web browser.

The text uses a number of special symbols. These must be available in fonts on your system in order for them to appear in the online html version of the text. Such fonts are available on most recent operating systems, but some browsers (older versions of Internet Explorer in particular) will not always display some of these symbols even when they are available. The symbol ⊤ (which should look like the letter ‘T’ or, more specifically, like an upside-down perpendicular sign) is one of the problems. If you run into this problem, you should be able to avoid it by using any of browsers Firefox, Opera, and Safari (and you will find Firefox already installed on campus machines).

(Actually, there are two sorts of problems that can arise, and they have different symptoms. The one just mentioned will usually lead you to see a box marking a missing symbol. Another problem has cropped up occasionally and will lead to the substitution of the wrong symbol (other than a box). If you think that this may be happening—i.e., if you see an unexpected symbol—try comparing what you are seeing with the pdf version of the text. I think this problem is due to errors in fonts, so it may not be solved by changing browsers—though you might still try that. This second problem is something I may be able to work around, so I encourage you to let me know if you run into it.)