Intermediate Formal Logic
|Hours||3.0 Credit, 3.0 Lecture, 0.0 Lab|
|Prerequisites||PHIL 205; or MATH 290|
|Note||NOTE: Fulfills GE Languages of Learning requirement. NOTE: Also offered by BYU Independent Study; enroll anytime throughout year; one year to complete; additional tuition required; register at is.byu.edu.|
|Programs||Containing PHIL 305|
Learn first order logic including the correct use of symbols and the construction of proofs.
Learn to construct proofs within axiom systems in such areas as identity, set theory, arithmetic, and modal logic.
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.