Logic is the study of good reasoning. Formal logic applies the tools of the formal sciences to the study of reasoning. This approach to logic has flourished in the 20th century, and it has become of fundamental significance to many other disciplines, such as Philosophy, Maths, Computing and Linguistics.

In this unit we introduce the basic concepts of formal logic. Students will learn how to represent arguments symbolically and to use formal techniques to analyse these representations. We also critically examine some of the assumptions underlying formal approaches to logic.