 Note that the foregoing remarks describe the general context for a neo-Fregean revival of logicism of any kind. They do not dictate the exact form of any such revival. In  §3  we discuss the particular form of the revival that involves extending second-order logic with Hume’s Principle; and in  §4,  we discuss constructive logicism. 