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