Tanner Philosophy Library, 20 Dec 2016 Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in…