PHIL223 - Symbolic Logic
Formal study of deductive reasoning: categorical, propositional, and predicate logic. Translation, truth tables, and derivations using standard rules of inference. Lab.
Cross Listed Courses
Goals and Diversity
MN Goal Course
MN Goal Designation(s)
Students will illustrate historical and contemporary applications of mathematical/logical systems (MnTC 4.1).
Students will explain what constitutes a valid mathematical/logical argument (proof) (MnTC 4.3).
Students will apply higher-order problem-solving and/or modeling strategies (MnTC 4.4).
Students will translate ordinary language into symbolic notation.
Students will use truth tables.
Students will determine whether propositions are tautologies, contradictions, or neither.
Students will use propositional calculus.
Students will predicate calculus.
Students will use rules of inference to derive propositions from other propositions.
Distinguish between discourse that contains reasoning and that which does not.
Distinguish between different types of reasoning.
Analyze arguments, distinguishing premises and conclusions.
Evaluate inductive and deductive reasoning.
Apply basic logical techniques.
Identify and avoid fallacies.