Philosophy 3349
Topics in Logic

Curtis Brown
Spring, 2002

This page contains links to materials for PHIL 3349.  From here, you can access:



Questions for the Midterm Examination  

Review material for the Final Exam New!


The HTML versions of these handouts can be viewed on any web browser. However, if you have the Adobe Acrobat Reader (and why not, since it's free), you may want to use the PDF versions instead; they look much nicer, and should also look good when printed.

I am revising these handouts occasionally, as I see things that need correction or amplification! As of January 27, 2002, the concluding paragraphs of the set theory handout have been changed to show why the Axiom of Regularity, together with the Unordered Pair axiom, shows that no set can contain itself as a member. Also the handout on first-order languages has been revised to include a section on the distinction between formulas that are and are not sentences.

topic HTML version PDF version
Christopher Leary's errata   errata - pdf
Set Theory set theory - html set theory - pdf
First-Order Languages languages - html languages - pdf
Structures structures - html structures - pdf
Deduction deduction - html deduction - pdf
Modal Logic (intro)   modal.pdf

list of possible presentation topics

Final Project  (now current)


Last update: April 29, 2002
Curtis Brown
| Topics in Logic | Philosophy Department | Trinity University