Logic Requirement

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).