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

• Join the Discussion Now

If you have any questions about the course, please don’t hesitate to drop the instructor a note.