phd logic