Course Details
Country:
Ireland
Institution:
University of Galway
Course Title:
Formal Logic
Course Number:
PI2102
Course Description:
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?', '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.
Language:
English
Approved Equivalent:
PHIL 173
Attachment Files:
