In his New Essays on Human Understanding (ready for publication in 1704, but not published then because that was the year of Locke’s death) Gottfried Leibniz famously questions premise (3) of this argument: