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.

Previously taught: SU12D, SU12A, SP12, FL11, SU11D, SU11A, SP11, FL10, SU10D, SU10A, SP10, FL09, SU09D, SU09A, SP09, FL08, SU08D, SU08A, SP08, FL07, SU07A, SP07, FL06, SU06A, SP06, FL05, SU05D, SP05, FL04, SU04D, SU04A, SP04, FL03.