To remain in good standing in the department, each PhD student must demonstrate basic competence in logic, by August 31 of Academic Year 2 for students in the four-year program, and by August 31 of Academic Year 3 for students in the five-year program.
Basic competence in logic is defined as proficiency in first-order symbolic logic with identity equivalent to a grade of B+ in PHL245H. This competence is expected of all candidates prior to the beginning of their doctoral studies. Where this is not the case, competence must be acquired as a supplement to the required number of courses. such competence is demonstrated by:
- having had at least a B+ in an undergraduate course equivalent to PHL245H;
- taking PHL245H as a non-credit course, and earning at least a B+; or
- passing a departmental test (which will be arranged according to demand).