Phil 140A: Intermediate Logic
Instructor: Prof. Paolo Mancosu
Course Breakdown: 7 exercise sets (70%) and a final essay (30%).
Office Hours
Office: 737 Evans
Office Hours: Thursday 10am-12pm, or by appointment
Section Times and Locations
Wednesday 1pm-2pm in 47 Evans
Wednesday 2pm-3pm in 211 Dwinelle
Handouts from Section
Worksheets
- Set Theory [solutions]
- Induction [solutions]
- Deductions [solutions]
- Semantics [solutions]
- Compactness [solutions]
Notes
LaTeX
If you want to type your homeworks instead of writing them, the tool you’ll want to use is LaTeX. For more references on typing documents in LaTeX, see my LaTeX page.