Course 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.
When Taught
Fall and Winter
Min
3
Fixed/Max
3
Fixed
3
Fixed
0
Prerequisite
Fulfill ANY of the following requirements:
Complete ALL of the following Courses:
- 04216-006
OR
Complete ALL of the following Courses:
- 03605-008
Note
Fulfills GE Languages of Learning requirement. Also offered by BYU Independent Study; enroll anytime throughout year; one year to complete; additional tuition required; register at is.byu.edu.
Title
Logic
Learning Outcome
Learn to construct proofs within axiom systems in such areas as identity, set theory, arithmetic, and modal logic.
Title
History
Learning Outcome
Understand key historical developments such as Cantor's theory of transfinite numbers, Frege's attempt to reduce arithmetic to logic, the logical paradoxes, and Gödel's theorems.
Title
Logic
Learning Outcome
Learn first order logic including the correct use of symbols and the construction of proofs.
