PHIL223 - Symbolic Logic

General

Prefix

PHIL

Course Number

223

Course ID

00165167

Course Level

Undergraduate

Instruction Mode

Lec/Lab

Department(s)

Description

Formal study of deductive reasoning: categorical, propositional, and predicate logic. Translation, truth tables, and derivations using standard rules of inference. Lab.

Cross Listed Courses

Prerequisites

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

Students will illustrate historical and contemporary applications of mathematical/logical systems (MnTC 4.1).

Outcome

Students will explain what constitutes a valid mathematical/logical argument (proof) (MnTC 4.3).

Outcome

Students will apply higher-order problem-solving and/or modeling strategies (MnTC 4.4).

Outcome

Students will translate ordinary language into symbolic notation.

Outcome

Students will use truth tables.

Outcome

Students will determine whether propositions are tautologies, contradictions, or neither.

Outcome

Students will use propositional calculus.

Outcome

Students will predicate calculus.

Outcome

Students will use rules of inference to derive propositions from other propositions.

Outcome

Distinguish between discourse that contains reasoning and that which does not.

Outcome

Distinguish between different types of reasoning.

Outcome

Analyze arguments, distinguishing premises and conclusions.

Outcome

Evaluate inductive and deductive reasoning.

Outcome

Apply basic logical techniques.

Outcome

Identify and avoid fallacies.

Course Outline

Course Outline

-

Dependencies

No dependencies