PHI 202 - Logic
Analysis and practical application of the elements of logic as they apply on both a linguistic and formal level. Forms of argument; informal and formal fallacies. Determining validity and invalidity under Aristotelian, propositional, and predicate logic. Use of Venn diagrams; translating ordinary language into syntax appropriate to those logical systems.
Prerequisite: MAT 136 College Algebra and Trigonometry or equivalent
3 Class Hours
Learning Outcomes of the Course:
Upon successful completion of this course the student will be able to:
1. Distinguish between deductive and inductive arguments.
2. Identify a valid, sound argument and a strong, cogent argument.
3. Identify at least a dozen types of informal fallacies in written arguments.
4. Identify and write categorical propositions.
5. Determine the validity of immediate inferences involving categorical propositions.
6. Determine the mood and figure of a categorical syllogism.
7. Determine the validity of syllogisms using the Square of Opposition.
8. Determine the validity of syllogisms using Venn diagrams.
9. Determine the validity of enthymemes.
10. Translate ordinary language arguments into syllogisms in order to analyze them logically.
11. Translate ordinary language statements into propositional logic.
12. Analyze an argument by means of truth tables.
13. Analyze an argument using indirect truth tables.
14. Translate paragraphs into propositional logic symbolism.
15. Apply the 18 laws of natural deduction to determine the validity of arguments in propositional logic.
16. Use indirect truth to determine validity of arguments in propositional logic.
17. Use conditional proof to determine validity of arguments in propositional logic.
18. Use existential and universal quantifiers in correct syntax for predicate logic.
19. Translate ordinary language statements in predicate logic formulas.
20. Apply the 18 laws of natural deduction to determine validity of arguments in predicate logic.
21. Apply the change of quantifier rules to arguments in predicate logic.
22. Use the counter-example method to prove invalidity in predicate logic.
23. Use the finite universe method to prove invalidity in predicate logic.
24. Correctly translate relational predicates with quantifiers.
[Add to Portfolio]