Featured Programs
Experiential Learning Opportunities
Claim up to $750 in flight credits!
Get up to $750 in flight credits or grants toward study or internship programs abroad when you apply by February 14, 2025. See our Official Rules for full details.
Formal Logic
University of Galway - Full Curriculum Program
Galway, Ireland
Dates: 1/5/22 - 5/7/22
Formal Logic
OVERVIEW
CEA CAPA Partner Institution: University of Galway
Location: Galway, Ireland
Primary Subject Area: Philosophy
Instruction in: English
Course Code: PI2102
Transcript Source: Partner Institution
Course Details: Level 200
Recommended Semester Credits: 2.5
Contact Hours: 36
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 "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.