An introduction to modern logic: the investigation of the laws of truth. One essential aspect of good reasoning or argumentation is that it is valid: it cannot lead from true premises to a false conclusion. In this unit we learn how to identify and construct valid arguments, using techniques such as truth tables, models and truth trees. Apart from being a great aid to clear thinking about any subject, knowledge of logic is essential for understanding many areas not only of contemporary philosophy, but also linguistics, mathematics and computing.
2x1hr lecture/week, 1x1hr tutorial/week
10x250wd weekly problem sets (50%), 1x2hr final examination (50%)