# Intermediate Formal Logic

## \$ 549.00

Instructor: David Allen Jensen MA
Credits: 3.00

## 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