Aims/Description: The course will provide students with knowledge of the fundamental parts of formal logic. It will also teach them a range of associated formal techniques with which they can then analyse and assess arguments. In particular, they will learn the languages of propositional and first-order logic, and they will learn how to use those languages in providing formal representations of everyday claims. They will also learn how to use truth-tables and truth-trees.
Restrictions on availability: No
Information on the department responsible for this unit (Philosophy):
URLs used in these pages are subject to year-on-year change. For this reason we recommend that you do not bookmark these pages or set them as favourites.
Teaching methods and assessment displayed on this page are indicative for 2021-22. Students will be informed by the academic department of any changes made necessary by the ongoing pandemic.