[dvt]

First off, Hume rejected Descartes' cogito argument. Second of all, in Sceptical Doubts concerning the Operations of the Understanding[1], Hume makes a very rudimentary distinction between "Matters of Fact" (what we'd now call logical truths) and "Relations of Ideas" (what we'd now call empirical truths). Again, these classifications were intuited long before Hume/Descartes, but they exemplify them pretty well.

[1] http://www.livingphilosophy.org.uk/philosophy/David_Hume/Sce...

[wsy]

You claim that "the now well-established distinction between a and b was intuited long ago", but in the discussion refer to various a'/b' distinctions that separate the whole into quite different parts than today's a/b distinction.

I concede that expecting predecessors to split the whole exactly along today's a/b border would be asking too much. On the other hand, there is no objective measure that would allow us to test if a'/b' is similar enough to a/b to support your claim. So if you think it is similar enough, and I think it isn't, it seems to be more a matter of opinion than a matter of knowledge.

And my argument on "cogito ergo sum" was not about if Hume would consider it as true or false, but if he would consider it as logical or empirical statement. So your remark about that is true but irrelevant here.