which lack of progress? The few encounters with logic (in a philosophical sense, although it feels more "mathy") I had recently were all more recent works, certainly more recent than a large part of math I use!