PHIL-190 Introduction to Logic

Credits 3 / 3 Contact Hours
Pre-requisite: Placement into RDNG-030 (ACSR-030), completion of ELAP-110 with a minimum grade of 2.0, or successful completion of RDNG-016 or ACLT-074 with a minimum grade of 3.0.
A study of the tools and methods of modern symbolic logic to analyze and evaluate arguments. Two different methods are introduced to distinguish valid from invalid arguments. Symbolic representation of statements and proof procedures for the validity of arguments are emphasized.

Course Outcomes
NEW Students who successfully complete the course should be able to: • Differentiate inductive from deductive arguments. • Translate propositions and arguments from natural languages into propositional form. • Compute truth-tables for propositional logic. • Solve proofs using natural deduction in propositional logic (direct deduction). • Solve proofs using natural deduction in propositional logic (conditional proof). • Solve proofs using natural deduction in propositional logic (indirect proof). • Translate propositions and arguments from natural languages into quantificational logic. • Solve proofs using natural deduction in quantificational logic (direct deduction). • Solve proofs using natural deduction inn quantificational logic (conditional proof). • Solve proofs using natural deduction in quantificational logic (indirect proof).