For me, a language which is effective at conveying logic is the most I could ask for.
A paraconsistent system where where individuals can have different universes of discourse would have no analytic statements. Instead, I think you are looking for Jaskowski's discursive logic, which formulated in modal logic.
have you read quine's two dogmas? It's pretty relevant. With respect to the bear goo problem, the confusion seems to arise due to expecting an analytic statement. Whether the bear goo is lo cribe depends on facts about the world (how disintegrated the corpse is, for example) i.e. the universe of discourse, as well as linguistic facts (the sense meaning of lo cribe). The question of xorlo seems to come down to the metaphysical position on the distinction.
A final thing i would point out, is that there is a good reason sets aren't the exact formulation of lojban: see russel's paradox. This is a problem which intuitionistic logic "solves", which sees usage in proof assistants like coq and lean. The univalent foundations project is a very cool rabbit hole. Category theory/categorical logic is also a way of formalizing outside of sets.
could probably make something similar by putting the same formic acid and flour mixture into a cotton candy spinner