Introduction to Formal Logic

Introduction to Formal Logic
History and use of syllogistic and propositional logic; evaluating arguments with Venn diagrams, truth tables, and Copi-style proofs and proof strategies; informal reasoning and fallacies.
 Hours3.0 Credit, 3.0 Lecture, 0.0 Lab
 NoteAlso offered by BYU Independent Study; enroll anytime throughout year; one year to complete; additional tuition required; register at
 TaughtFall, Winter
 ProgramsContaining PHIL 205
Course Outcomes: 

Vocabulary and Concepts

Students will know the basic vocabulary and concepts of formal and informal logic.

Appraise Validity

Students will be able to appraise validity by refuting invalid arguments and by constructing formal proofs for valid ones.


Students will be able to translate ordinary language into logical symbolism.