To remain in good standing in the department, each PhD student in the five-year program must demonstrate basic competence in logic by August 31 of Academic Year 3.
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:
- Earning 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).