Yale Philosophy Grad Program Replaces Logic with Formal Methods in Its Requirements “Yale philosophy has officially replaced the grad program ‘logic requirement’ with a broader ‘formal methods requirement.’ Students can choose which course to take (logic, probability, stats, game theory, etc.).” (more…)