Philosophy 2340
Symbolic Logic

Spring, 2012

Course Materials

Course materials are on the TLEARN site, which should be your primary source of information about the course. As a convenience, some information is available here also.

Syllabus

Assignments (tentative)

Paper Option

Notes

Languages of First-Order Logic (Overview)  
General Strategy for Constructing Proofs
Advice on Doing Proofs    
General strategy for quantifier translations

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
Chapter 9 advice on problems 
Chapter 10  
Chapter 11 advice on problems
Chapter 13 advice on problems
Chapter 14 advice on problems

Decidability  

Equivalent Formulations of Propositional Logic (PDF format)
Alternative Systems of Propositional Logic  
Gödel's Incompleteness Theorems  
Intro to Set Theory  

Review Materials (from the previous offering of the course; minor revisions are likely for this semester)

Exam 1 Review  
Sample First Exam  
Answer Key  

Exam 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 Key  

Exam 4 (Final Exam) Review
Sample Final Exam (not comprehensive)
Answer Key 
Note: see TLEARN site for a comprehensive sample final exam and answer key.

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.