This is an introductory course in logic pitched at an intermediate level. Logic is the discipline concerned with the notions of consequence, consistency, and the like — roughly speaking, the science that studies the quality of arguments. We will study two of the most central and important logical systems, propositional logic and predicate logic. Each of these will be examined from several points of view (syntax, semantics, trees, natural deduction). We will practice the use of these systems and their application to garden-variety arguments. We will also prove some results about our systems of logic (e.g., concerning the relation between truth and provability).
Frequent homework assignements, three tests and a final examination.
No previous training in logic is required.
3 hrs of lecture & 1 hr of discussion per week