Welcome to the Web site for PHIL 240-007, Formal Logic I. If you have any questions or any suggestions about ways this site might be improved, please feel free to e-mail the instructor.
Course Materials
- Syllabus (also available as a Adobe Acrobat file for downloading and printing)
- Basic Symbolic Skills (Adobe Acrobat file)
- Homework Assignments
- Extra Credit Assignments
- Class Directory
Links
- Arguments and Their Evaluation
- The Argument Clinic
- The Daily Translation—Logic Problems
- “Infinite Reflections”—an easy-to-read discussion of infinite sets by Peter Suber of Earlham College.
- “A Crash Course on the Mathematics of Infinite Sets”—the appendix to “Infinite Reflections,” well worth reading all by itself.
- Other Logic-Related Links—the list of course-related links for Suber’s class on “Logical Systems.”
- Euclid’s Elements. Trans. David E. Joyce. An extremely interesting on-line edition of the Elements featuring Java-enhanced constructions and a good deal more.
Class Forum
If you have any questions about the course, please don’t hesitate to drop the instructor a note.


