It's very much intended to be a tearing down of such projects "from the inside". Back in the day, philosophers _actually_ _believed_ they could write down a series of proposition that fully and completely described reality. They even thought they were discovering the fundamental nature of reality with whatever new symbolic logic notation they came up with that week.

I guess they stopped making people read Kant for a while there... These were solved problems