Formal Logic University of Galway - Full Curriculum Program Spring 2022 Semester - Galway

Formal logic is the systematic study of deductive reasoning. It is motivated by such questions as 'what does it mean to say that a piece of reasoning is "correct"?', 'how can we tell when a piece of reasoning is correct?', and 'could we program a machine to do the job for us?' The course begins with the concept of validity, and then moves on to cover sentence logic, truth tables, natural deduction, and elementary predicate logic. Throughout, we lean heavily on Paul Teller's _Logic Primer_, now freely available online (http://tellerprimer.ucdavis.edu/). No previous knowledge is assumed, but good study habits are essential. Readings and practice exercises will be set each week, and students who fall behind may find it difficult to catch up.