History and use of first-order logic and second-order logic; natural-deduction and axiomatic proofs; modal logic; set theory and foundations of mathematics.

Course Details

Note
Fulfills BYU GE Languages of Learning Requirement.
Prerequisites
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
Syllabus
View syllabus