Philosophy 12A

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.