PHIL 200 Logic

An investigation of the principles of correct reasoning through the use of formal techniques. By employing these techniques, students will learn to assess the validity of arguments and to find counterexamples to invalid arguments. Formal languages studied include propositional and predicate logic, and may also include languages of modal and deontic logic. Some metalogic may also be covered, including proofs of the soundness and completeness of some of the deductive systems studied. [Q]