Intermediate Formal Logic

PHIL 305 | University Course

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

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

Syllabus

View syllabus

Contact Us

Business Hours

Monday–Friday (except holidays)
8:00 a.m.–5:00 p.m. mountain time
Closed Tuesdays 10:45 a.m.–noon for university devotionals.

Toll-Free: 1-800-914-8931
Local: 801-422-2868
Fax: 801-422-0102
Send us a message

How are we doing?

Customer Feedback

Street Address

Harman Continuing Education Building
770 E University Pkwy
Provo UT 84602

Travel Directions

Mailing Address

BYU Independent Study
229 HCEB
770 E University Pkwy
Provo UT 84602

Helpful Links

BYU Online High School
Bachelor of General Studies
Title IX

Donate

Give to BYU Continuing Education
BYU Online High School
EFY and Youth Programs
FlexGE @BYU