A course in elementary symbolic logic, including some modal logic. This course is recommended especially for those intending to study philosophy on the graduate level. Open to qualified first-year students.