PHIL& 106 - Introduction to Logic

5.0 Credits
An introduction to fundamental concepts used in logic including the concept of an argument, conclusion, deduction, induction and validity. Includes categorical propositions, propositional logic, predicate logic, truth-functional operators, formal proofs of validity. (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]