Searching…

University Catalog

Print Page



PHIL 223. Elementary Symbolic Logic

Credits: 3
Department: Philosophy
Description: Formal study of deductive reasoning: categorical, propositional, and predicate logic. Translation, truth tables, and derivations using standard rules of inference.
Prerequisites: MATH 072 or high school advanced algebra with satisfactory math placement score.
Semester Offered:
  • Fall
  • Spring
Grading Method: ABCDF
Lab: Lab
Goal Area:
  • GOAL AREA 2: CRITICAL REASONING
  • GOAL AREA 4: MATHEMATICAL THINKING & QUANTITATIVE REASONING

Student Learning Outcomes

1. Students will illustrate historical and contemporary applications of mathematical/logical systems (MnTC 4.1).
2. Students will explain what constitutes a valid mathematical/logical argument (proof) (MnTC 4.3).
3. Students will apply higher-order problem-solving and/or modeling strategies (MnTC 4.4).
4. Students will translate ordinary language into symbolic notation.
5. Students will use truth tables.
6. Students will determine whether propositions are tautologies, contradictions, or neither.
7. Students will use propositional calculus.
8. Students will use predicate calculus.
9. Students will use rules of inference to derive propositions from other propositions.






The contents in this catalog and other university publications, policies, fees, bulletins or announcements are subject to change without notice and do not constitute an irrevocable contract between any student and St. Cloud State University.