Symbolic Logic
General
Prefix
PHIL
Course Number
223
Course Level
Undergraduate
Instruction Mode
Lec/Lab
Department/Unit(s)
College/School
College of Liberal Arts
Description
Formal study of deductive reasoning: categorical, propositional, and predicate logic. Translation, truth tables, and derivations using standard rules of inference.
Credits
Min
3
Max
3
Repeatable
No
Goals and Diversity
MN Goal Course
Yes
MN Goal Designation(s)
02, 04
Cultural Diversity
No
Learning Outcomes
Outcome
Illustrate historical and contemporary applications of mathematical/logical systems.
Outcome
Explain what constitutes a valid mathematical/logical argument (proof).
Outcome
Apply higher-order problem-solving and/or modeling strategies.
Outcome
Identify inferential rules operative in natural language examples.
Outcome
Use truth tables.
Outcome
Determine whether propositions are tautologies, contradictions, or neither.
Outcome
Use propositional calculus.
Outcome
Use predicate calculus.
Outcome
Use rules of inference to derive propositions from other propositions.