This course is a study of the methods and principles used to distinguish correct from incorrect reasoning. Students are expected to prove their understanding of formal deductive symbolic logic by completing logic proofs in categorical, propositional, and predicate logic. (Formerly: PHIL 106).
Quarters Offered
Winter,
Spring
Course Outcomes
Upon successful completion of the course, students should be able to demonstrate the following knowledge or skills:
- Evaluate read world arguments using informal fallacies by collecting, labeling, and describing ten examples in an assignment.
- Prove validity or invalidity using truth tables.
- Prove validity using predicate logic.
Institutional Outcomes
IO2 Quantitative Reasoning: Students will be able to reason mathematically.
Course Content Outline
- Basic logic terms such as premises, conclusions, validity, and soundness
- At least 15 Informal Fallacies with emphasis on real world applications
- Venn Diagrams or Aristotle’s Categorical Logic
- Translation into Formal Notation using Boolean Operators
- Truth Tables or Truth Trees used to evaluate validity or consistency
- Logic Proofs using Propositional Logic
- Translation into Predicate Logic
- Logic Proofs using Predicate Logic
Department Guidelines
Students will be evaluated with an appropriate combination of exams, assignments, quizzes and / or comprehensive final as determined by the department.
PO5 should be assessed: Students will be able to solve problems by gathering, interpreting, combining and/or applying information from multiple sources.