PHIL 114 - Introduction to Symbolic Logic

Credits: 3

Description
Introduces principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.

Student Learning Outcomes

Define fundamental concepts of formal reasoning — e.g., validity, soundness, truth functionality, logical equivalency, etc.
Translate ordinary language sentences into sentential/propositional and predicate logic.
Analyze propositions and arguments using techniques common to symbolic/formal logic — e.g., truth tables, truth trees, etc.
Construct formal derivations in sentential/propositional and predicate logic.

Prerequisite: None
Corequisite: None

Graded: Letter Grade