On Logic and Alternate Universes

[FallentoReason]

Actually I did pre-empt it, nubbins.  I was typing at the same time you were, lol.

I saw your post updating with more and more sentences after I had posted. No matter, it's not important either way.

They may both be formal sets of axioms,

Yes.

but one is not the other,

Yes.

and to insist that they are not equvalent and then call one as though it were the other

No. I've never done that. Apples are not oranges. Bob is not Fred. Our logic is not that of goblygoop. To call one as the other would be to say that our logic = goblygoop. I have not done that. I don't care about identity. I care about the class of thing that they are. Just like we can identify that Bob/Fred have arms and legs, we can therefore conclude they are of the class 'human'. Exactly the same with sets of axioms. They are of the class 'logic'. Call them whatever the hell you want. Boppity and goblygoop. And whenever we spot their attributes (i.e. one being they are a set of axioms) we can then say 'ah, it's not a tricycle, it's not a dinosaur, it's logic'. And one inherent definition of sets of axioms is that they are in fact logical, whether it be boppity, goblygoop blah blah blah.

is both illogical, and demonstrative of a poor grasp of the english language.

You're warping the english language nonsensically.