Yale philosophy replaced the grad logic req with a broader “formal methods“ req

This appears to be introducing a math prerequisite for graduation. Not sure if there is anything deeper though?