PHIL& 106 - Introduction to Logic

5.0 Credits
An introduction to the identification, construction, and analysis of argumentation. Attention to deductive and inductive styles focusing on elements of form, truth, validity, soundness, cogency and application to critical thinking, listening, and writing (was PHIL 120).

Course Objectives
Upon successful completion of this course, students will be able to:

Apply the basic vocabulary of logical theory: argument, deduction, induction, validity, soundness, consistency, etc. [REASON]
Reduce information to symbolic form by translating statements and arguments from English into the formal logical languages of both truth-functional and predicate logic. [REASON]
Apply truth tables to test single statements for logical status (tautology, self-contradiction, contingency), to test pairs of statements for the logical relations (equivalence, contradiction, consistency), and to test arguments for validity. [REASON]
Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid. [REASON]
Apply natural deduction in predicate logic, with rules of inference and replacement rules, to prove arguments valid, including arguments containing relational predicates and multiple quantifiers. [REASON]
Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof). [REASON]