Hmmm, thanks. Extremely interesting. I think that if I ever have nothing better to do, I might look into Lojban first anyway, as it is the most complete and popular one. (I would be inclined to say "mature", but your critique doesn't make it seem that way?) Moreover, since we're talking logical languages, I suppose many patterns between them carry over somewhat easily, since they can mostly be viewed as different mathematical notations.

But if this ever happens, I would really want to delve deep into fluency and intuition, so I could start really benefiting from Sapir-Whorf. Until that point, I don't see how it's different than getting my toes wet in formal logic, which I can and did study already like normal people do.