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.
Previously taught: SU11D (Bledin), SU11A (Rieppel), SP11 (Mancosu), FL10 (Roush), SU10D (Rieppel), SU10A (Fitelson), SP10 (Fitelson), FL09 (Mancosu), SU09D (Beattie), SU09A (Rieppel), SP09 (Warren), FL08 (Fitelson), SU08D (Klempner), SU08A (Fitelson), SP08 (Mancosu), FL07 (Fitelson), SU07A (Fitelson), SP07 (Mancosu), FL06 (Fitelson), SU06A (Rao), SP06 (Warren), FL05 (Mancosu), SU05D (Khatchirian), SP05 (Shapiro), FL04 (Fitelson), SU04D (Khatchirian), SU04A (Warren), SP04 (Warren), FL03 (Mancosu).