Philosophy 12A
Fall 2011
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.