"Zuhair" <firstname.lastname@example.org> wrote in message news:email@example.com...
> the predicative extensional second order > logic that I presented in this head post is something that I maintain > as LOGIC. You and others may disagree, that's fine, but my argument is > that as far as this system is considered as logic then infinity and > second order arithmetic follows, and thus promoting logicism in this > particular sense.
IF you had a justification for calling it logic, THEN there could be a sense in which you are promoting logicism.
> *PURE* logic, since the added primitives convey no extra meaning to > the system other than that inferred from the logical axioms
You should say derived, not inferred: you may call it pure logic, but it's still mathematics.