Symbolic Logic

General

Prefix

PHIL

Course Number

223

Course Level

Undergraduate

Instruction Mode

Lec/Lab

Department/Unit(s)

Philosophy

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.

Course Outline

Course Outline

Translating ordinary language into symbolic notation: 10% Categorical logic and Venn diagrams: 10% Truth tables: 10% Tautologies/contradictions: 10% Propositional calculus: 20% Predicate calculus: 20% Derivations: 20%