BYU Independent Study - Online Courses
Login

Intermediate Formal Logic

PHIL 305

 

$ 564.00


Instructor: David Allen Jensen MA
Credits: 3.00

add to cart

Prerequisite:

PHIL 205 (Deductive Logic) or MATH 290 (Fundamentals of Mathematics).

Description:

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 Content:

  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

Online Courses:

Course materials are accessed online, and all assignments must be submitted online. Optional course readings may be available but do not include the self-check assignments or graded assignments.

Notes:

Fulfills BYU GE Languages of Learning Requirement.
Optional Materials Cost
   PHIL 305 Reading Packet    $ 20.00