This is the course home-page for Philosophy 16, Symbolic Logic.

• Spring Semester, 1996-97.
• 1:00 - 2:20, MTh.
• Carpenter 322.
• Course description.

Hand-outs

• Syllabus
• Truth and Validity
• Basic Terms of Logic
• Propositional Logic Terms and Symbols
• Translation Tips
• Paradoxes of Material Implication
• Short-Cut Truth Table Method and Forking
• Introduction to Derivations
• Justifying the Rule of Rigor
• Truth Trees for Propositional Logic
• Predicate Logic Terms and Symbols
• UI, EG, EI, and UG
• Derivations in Predicate Logic
• Answers to Copi's Translation and Derivation Exercises [Under construction!]
  • Propositional Logic
  • Singly General Monadic Predicate Logic
  • Multiply General Monadic Predicate Logic
  • Polyadic Predicate Logic
• Notes on Logic Notation on the Web
• Generic Suberian course hand-out

Links

• Course-related links
• Philosophy links
• Search engines

This is my elementary logic course. For my advanced logic course, see Logical Systems.

Peter Suber, Department of Philosophy, Earlham College, Richmond, Indiana, 47374, U.S.A.
peters@earlham.edu. Copyright © 1997, Peter Suber.