| Course Materials |
This page contains links to materials for PHIL 2340. From here, you can access:
Assignments (tentative)
Notes
Languages of First-Order Logic (Overview)
Advice on Doing Proofs
Chapter 1 (and some preliminaries)
Chapter 1 advice on problems
Chapter 2
Chapter 3
Chapter 3 advice on problems
Chapter 4
Chapters 5 and 6
Chapter 6 advice on problems (brief)
Chapter 7
Chapter 7 advice on problems
Chapter 8 advice on problems
Chapter 9 advice on problems
Chapter 10
Chapter 11 advice on problems
Chapter 13 advice on problems
Chapter 14 advice on problemsEquivalent Formulations of Propositional Logic (PDF format)
Alternative Systems of Propositional Logic
Gödel's Incompleteness Theorems
Intro to Set TheoryReview Materials (from the previous offering of the course; minor revisions are likely for this semester)
Exam 1 Review
Sample First Exam
Answer KeyExam 2 Review
Sample Second Exam (from Fall, 2001)
Answer Key (for Fall 2001 version)
Sample Second Exam (from Spring, 2002)
Answer Key (for Spring 2002 version)Exam 3 Review
Sample Third Exam
Answer KeyExam 4 (Final Exam) Review
Sample Final Exam (not comprehensive)
Answer Key
Note: see TLEARN site for a comprehensive sample final exam and answer sheet.
| Web Links |
Language, Proof, and Logic Support page for our text and the associated software. You can download more recent versions of the programs bundled with the text if you wish.
Homepage for the Grade Grinder. Includes FAQ, online grade reports, etc.
John Etchemendy One of the co-authors of our text.
Jon Barwise A memorial for the other co-author of our text (1942-2000).
Peter Suber's collection of logic-related links. Lots and lots of stuff.
Peter Suber's logic course. Includes many on line handouts.
Factasia Logic. Attractive site with sections on logic and computing, logic and mathematics, logic and philosophy, and other topics. A little on the strange side.
Last update:
January 13, 2009. |