BYU Independent Study - Online Courses

Introduction to Formal Logic

PHIL 205


$ 579.00

Instructor: David Allen Jensen MA
Credits: 3.00

add to cart


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.

Course Content:

  1. Arguments
  2. Truth, Validity, and Soundness
  3. Refutations and Proofs
  4. Categorical Statements
  5. Syllogisms
  6. Categorical Equivalences and Syllogistic Proofs
  7. Truth-Functional Symbolism
  8. Truth-Tables
  9. Validity of Truth-Functional Arguments
  10. Implication and Equivalence
  11. Truth-Functional Proofs
  12. Truth-Functional Proofs Continued
  13. Quantification Symbolism
  14. Relations
  15. Quantification Proofs
  16. Inductive Arguments
  17. Fallacies

Online Courses:

Course materials are accessed online, and all assignments must be submitted online. Optional course readings may be available but do not include the self-check assignments or graded assignments.


Satisfies Brigham Young University core Quantitative Reasoning requirement.

   No Materials required for this course!