Skip to main content

PHIL 305

Intermediate Formal Logic

Philosophy College of Humanities

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

Grade Rule

Grade Rule 8: A, B, C, D, E, I (Standard grade rule)

Min

3

Fixed

3

Fixed

3

Fixed

0

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.