History and use of first-order logic and second-order logic; natural-deduction and axiomatic proofs; modal logic; set theory and foundations of mathematics.
Fulfills BYU GE Languages of Learning Requirement.
Prerequisite: 
PHIL 205 (Deductive Logic) or MATH 290 (Fundamentals of Mathematics).
Course Outline: 
  1. Welcome to PHIL 305: Intermediate Formal Logic
  2. Lesson 1: Introduction to Logic
  3. Lesson 2: Symbolizing Monadic Predicates
  4. Lesson 3: Symbolizing Polyadic Predicates
  5. Lesson 4: The Properties of Relations and Second-Order Notation
  6. Lesson 5: Symbolizing Identity Statements
  7. Lesson 6: Rules and Restrictions for Quantificational Proofs
  8. Lesson 7: Quantificational Proofs
  9. Lesson 8: Second-Order Proofs and Quantificational Logic
  10. Lesson 9: Axiom Systems
  11. Lesson 10: Identity
  12. Lesson 11: Frege's Project
  13. Lesson 12: Zermelo-Frankel Set Theory
  14. Lesson 13: Cantor's Theory of Transfinite Numbers
  15. Lesson 14: Peano's Axioms
  16. Lesson 15: The Arithmetic of Natural Numbers
  17. Lesson 16: Integers and Rational Numbers
  18. Lesson 17: Gödel's Proofs
  19. Lesson 18: Modal Logics
  20. Preparing for Final Exam