PHL2170 Symbolic Logic
-
Handbook entry- a brief description of the subject can be found in the handbook entry. The handbook also provides information about the unit leader, the semester and mode in which the unit is available, the contact hours and the assessment requirements.
-
MUSO site - there is a WebCT site for this unit where assessment tasks, lecture notes and other unit resources will be posted. Once enrolled, students taking this unit are advised to check the WebCT site regularly.
Subject description:
This is a basic course in formal logic which can be done as a first logic course or as a follow-up to a first year logic subject, and will provide an introduction to the subject which will be useful for those working in linguistics, computer science, mathematics, as well as to students hoping to do honours in philosophy. It is a prerequisite for our later logic courses.