Introduction to Formal Logic
Description: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.
- Truth, Validity, and Soundness
- Refutations and Proofs
- Categorical Statements
- Categorical Equivalences and Syllogistic Proofs
- Truth-Functional Symbolism
- Validity of Truth-Functional Arguments
- Implication and Equivalence
- Truth-Functional Proofs
- Truth-Functional Proofs Continued
- Quantification Symbolism
- Quantification Proofs
- Inductive Arguments
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.
Notes:Satisfies Brigham Young University core Quantitative Reasoning requirement.
No Materials required for this course!