Following up on this post, and once again taking account of faculty changes since the fall 2014 PGR, here's an attempted update of the top (3.5 or higher) programs for Philosophical Logic for 2016-17, again by rough "clusters" of peer programs:

Group 1 (1-3)

City University of New York Graduate Center

New York University

Oxford University

Group 2 (4-5)

Massachussetts Institute of Technology

University of California, Berkeley

Group 3 (6-18)

Brown University

Cambridge University

Carnegie-Mellon University 

Ohio State University

Princeton University

University of Bristol

University of California, Irvine

University of Connecticut, Storrs

University of Melbourne

University of Pittsburgh

University of Southern California

University of St Andrews/University of Stirling Joint Program

University of Texas, Austin

(Note:   Columbia, UCLA, Maryland and Toronto were close to Group 3; Aberdeen is no longer close to Group 3.)