Logic Requirements

To remain in good standing in the department, each PhD student n the five-year program must meet logic requirements, which include demonstrating basic competence in logic by August 31 of Academic Year 2.

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 a grade of 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).