The Dennes Room

Philosophy 12A

Fall 2012

Number Title Instructor Days/time Room
12A Introduction to Logic Roush MWF 10-11 159 Mulford

This is a first course in logic. We study first-order logic: boolean connectives and conditionals, formal proof, logical consequence, validity and soundness of arguments, quantification. We learn how to argue for logical properties using models and formal proof methods.