Idk, this is just some rant post but this thing keeps fucking happening to me, it just happened to me. I will find out someone online or someone whose work I’m interested in or someone I was talking to is essentially and irreversibly reactionary
I’m sure the guy who makes these is also fucking brainwormed somehow but there’s a XKCD comic about the constructed language “Lojban” that I’ve been learning that goes like this:
[Cueball and Black Hat are having a conversation.]
Cueball: If you learned to speak Lojban, your communication would be completely unambiguous and logical.
Black Hat: Yeah, but it would all be with the kind of people who learn Lojban.
And it’s so fucking real. Just ughhh idek where to begin, so lemme start “here” as in Lemmy or the libiverse. The only other Lojban speaker I could find on here is on the fucking furry porn instance we aren’t federated with lol. Btw, I forgot this person’s pronouns and I don’t even wanna go look at this person’s profile again (you will see why) so I will do this, sorry: le furry porn instance Lojban speaker ku goi ko’a (I bind free variable “ko’a” to refer to this person)
But I was like, okay, ko’a seems kinda off (ko’a translates everything ko’a says from Lojban to English even though ko’a is Amerikkkan and speaks English natively) but that’s fine, I like weird, weird is often good, ko’a is autistic, I’m autistic, maybe I will message ko’a and say hi. Then I go to ko’a’s linked Github profile and find out ko’a is a literal fed, as in ko’a openly works for intelligence services , mildly afraid to even mention ko’a but ko’a can’t be that high up right? Ko’a has an acct on the furry porn instance linked to ko’a’s fed shit lmao. Ko’a’s listed job description is much more ominous and creepy in Lojban than in English btw which I don’t wanna go into here but yeh . Not even getting into ko’a’s other brainworms here but I read ko’a’s stuff a while ago
Okay, there’s no speakers I want to talk to here, fine, fine, it’s very obscure, I was lucky to find the fed on here if anything. So I go to the chat/IRC and find out it is infested with insufferable techbros who DON’T EVEN SPEAK PARSABLY VALID LOJBAN, one of whom is basically an open misanthropic blue fascist, who believes in like… an unelected Democrat monarch to control the stupid masses or something
Regardless, I was asking some questions about my ongoing translation of “Combat Liberalism” in there, talked with someone for a while who was at least helpful but then my account on [unspecified platform bridged to the IRC, I’m sure you could find but whatever lol, there’s nothing publicly visible] was reported for spam and then I was no longer allowed to speak in any groups. The only thing I can think of for why this happened is some lib, too cowardly and too pathetic to disagree with me in the open, mass reported everything I sent and got my account basically temp-banned. Wild right? Yet somehow not unexpected. Also pointless cuz I just logged on to the real IRC and kept my conversation going lmao. Oh and btw, ko’a is in the chat too ugh
Okay, okay, whatever it’s fine it’s fine, I should expect this. What about the people on the Wiki or in the Logical Language Group that, is at least supposed to, develop(s) Lojban? So I was reading through some of the articles and profiles on the wiki and they are much better. Then I somehow ended up at the personal website and blog of an LLG member, who was once the lead person or president or whatever of LLG to read about his takes on libertarianism and the age of consent among other things I forgot . Or I read the takes of the insufferable Randian logicians on the wiki which somehow are often okay on limited aspects of the language yet they are also Randians who should be purged
This is not the first time this has happened to me, this basically constantly happens to me cuz of my weird nerd interests who I must share with some of the worst people on the planet
It’s so fucking exhausting dealing with these overwhelmingly white, massively techbrained, toxic, insufferably cishet men and all their brainworms. No wonder most people who can even speak Lojban are like this, yet I persist for some reason
Idk, there seem to be some people in the community which are cool but yeh
Yeahhh :(
Lojban has lots of problems beyond even the community, like not enough formalism (this is being worked on though, new developments recently). Btw, the only thing about Lojban that is unambiguous is its grammar. It’s kind of a misconception which imo is not made clear enough to new speakers or even just people who know of Lojban. The grammar being unambiguous is VERY nice but yeh, it’s a long story but the goal of the project was never semantic unambiguity even if there is/was a group of people in the project with that line (and ofc one of the Randians on the wiki and in LLG still continues this line lol)
It’s a lot to get into but briefly, I also think a semantically unambiguous and suitably-useful-for-irl people-language is impossible (and in perfectly consistent formal systems even completeness of a system is provably impossible along the arguments of Godel or whatever lol) but I think some kind of restricted unambiguous formal Lojban could exist parallel and in dialogue with a spoken Lojban possibly, idk, we’ll see if the various attempts ever materialize (la brismu* is new and kinda huge though: https://brismu.systems/)
Although imo this is basically the general AI problem lol
*:
:3
Haha why whenever there’s something related to formalization the category theory people show up.
Bicategories are pretty weak so i think the necessary to do a lot of big ass proofs to reconcile taxonomic definitions will quickly become a pain point (see OOP spaghetti). And of course some things must be unprovable due to godel incompleteness. If you don’t need to be formal, i guess its nice to have a provable grammar like that, but its not technically any more correct.
Unambiguous grammar is stilll cool.
Yeahhh lol, tbh I think some kind of alternative approach would be best for Lojban but I respect the attempt regardless
Am still a beginner to all this stuff, don’t really know anything but I feel like some kind of paraconsistent, modal system would be more appropriate for a language that is supposed to help people communicate without it being painfully formal but ofc idek what that could mean for Lojban. It just seems like many of the grammatical structures can’t even be formalized in the classical way. Like if I assert P and you assert not P and we both believe our assertions to be true, wtf does that mean to the uhhh universe of discourse or whatever? In a classical definition I guess the whole thing explodes but idk, that’s barely even the fuckin beginning lol, I wrote a little bit more about this here: https://hexbear.net/post/3947645 but it’s a whole mess beyond that. I just think we have to have some way of either managing these contradictions or making them not matter cuz we split up worlds or whatever. Idk what I’m saying ofc, I’m just one of the dumber nerds
So much of the “logic” of this logical language is vibes-based, which is okay practically I guess, the language still functions between people, but leads to many people having very different takes on Lojban (dialecting). The LLG or the language development committee explicitly refuse to rule on stuff like this too, cuz it would make entire classes of Lojban interpretations incorrect (which I agree with doing, as long as MY interpretation is considered correct ofc :3)
Are you big into logic or math? Would love to talk more but I gotta go eep
not hugely into it i just had some math friends in college, so i’m also a dumb nerd. the more general your model, the weaker it will be. If we allow contradictory statements, what goal have we even accomplished. I’ll read your other post later and reply any thoughts :)
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.
[part 2]
Also, while I’m sure you could take Lojban and use it as a syntax for a more traditional formal system, idk what the purpose would be cuz we already have good systems for doing math on computers or whatever that use already familiar syntax. It would probably just be off-putting to both most Lojbanists (the few that remain at this point) and mathematicians :(
But anything more than that is kinda dreamy and vague. And nailing down the meanings of Lojban root words might be useful but it would also just constrain people entirely to pre-existing biased cultural conceptions of meaning. Maybe some kind of formal system that only defines the semantic meaning of the standard grammar but with optional and modular definitions of root words and other stuff that can be “imported” into a speaker’s personal formal conception of Lojban contingent on the speaker’s or the listener’s acceptance of those meanings could be constructed, idk.
Idk, the secret, forbidden desire inside every Marxist or at least inside me to do metaphysics :3
Or idk, maybe a formalization of dialectics is possible without ending up at metaphysics?
I am so far away from your reply now, let me try to get back to it lol
Yeahh, I think I kinda misused the term “universe of discourse” lol. I was actually thinking along the lines of discursive logic, as in like some kind of shared frame or world or whatever where proposition P can be true but in other worlds P can be false or vice versa or something more complicated than that. The system is paraconsistent but has a concept of a local consistency I guess
I am VAGUELY (been aware of but didn’t have the context to begin to understand until recently) more familiar with da Costa’s various systems of “formal inconsistency” or whatever. Would def recommend looking into if you’re interested how inconsistency can even exist in a logic without reducing the whole thing to triviality
Sets have a weird place in current Lojban cuz they do exist both explicitly and implicitly as the products of the set-specifying gadri (articles) le’i and lo’i, and the indefinite gadri le and lo, respectively. Yet they don’t really have any semantics beyond vibes rn
Sry, there is lots more to say but this is way too long and I’ve burned myself out for rn lol. If you ever get this far into reading this confused mess, thank you :3
I am doing metaphysics and I’m not doing metaphysics , repeat this sentence forever except this part past the comma including the comma
[part 1, see second reply]
Hii, ty for your reply, it has given me a lot to think about tbh. I actually hadn’t read Quine’s “Two Dogmas of Empiricism” or even heard of it before (showing my inexperience ofc) despite being vaguely aware that Quine’s thinking is kinda hugely relevant to this whole issue. I did end up reading it, very fun read tbh :3, although it’s definitely something I’m gonna have to digest for a while. Has made me think more about what exactly I even would out of a formalized Lojban (or in Quine’s words: “a language in the ordinary sense [PaX: we have this former part] plus a set a set of explicit semantical rules – the whole constituting, let us say, an ordered pair”, which is the same thing as an axiomatic system or formal system, which is what I/we want for whatever reason)
Idk, so I kinda ended up here (Lojban and formal systems) cuz for a few years I have been thinking, on and off, about (these may seem incompatible lol) what a formalization of dialectics would look like cuz I’ve been microwaving my brain with Marxist philosophy for like a decade at ever increasing power levels since my early teens lol, and so much of it is quite vague at this point (btw, if I seem fixated on paraconsistency, this is why lol). Am continually kinda baffled, yet not surprised??, by the wide variety of metaphysics a lot of mathematicians and analytical philosophers work themselves up into doing. I never got any formal (in colloquial meaning) education in abstract mathematics, only found myself interested recently, but my vibe from the outside is that most mathematicians don’t really care about the philosophical foundations and implications of the systems they work within, they just wanna
grilldo math. I legit was under the impression previously that we all agreed this was a like a thought game we were all playing with a tenuous connection to reality but now it all kinda makes sense lol. Likeee… Russell’s paradox is a great example of how baked-in metaphysics is to this whole thing, and how inescapable it is even if you just wanna do math (grill). Naive set theories are conceptually much simpler and more elegant and the math grillers (I am very online lol) were okay with it until the metaphysicians came in and showed that it leads to self-contradiction and it scared everyone so much, even the grillers, that the people trying to formalize mathematics confabulated ZFC set theory (which I get the impression no one particularly likes) to solve this and got everyone to use it (or agree to it being at the foundations of math at least) despite it being less useful. Idk, to me, the value of these thought-systems (this is how I think of math at least) is how practically useful they are and how easy they are to use to describe/model real life things that actually matter (literally matter even). Yet a lot of the people actually thinking about the basest logic that govern these systems don’t see it as a set of arbitrary axioms attached to this language of mathematics (really just a special type of conlang with high social status and usefulness hehe) that we can just change if we don’t like and if it becomes limiting but rather some unchanging fundamental rules of reality (or in a word: metaphysics lol). Which I guess is how you end up with people like Karl Popper who take these ideas to their natural political implications: “Marxism is wrong cuz it’s not falsifiable, and being falsifiable is when you accept my metaphysics and can write your hypothesis as a theorem in my logical system that can be contradicted [or something silly like that lol]”. And at the furthest extreme of that, you get people like Ayn Rand who say stuff like that Marxism is fundamentally wrong cuz it contradicts the laws of identity and non-contradiction lmao (it’s like the most ridiculous form of the human nature argument lol, “actually the very nature of reality itself isn’t compatible with communism” lmao). And ofc a lot of new physics is finding empirical evidence of phenomena which are hard to reconcile with the deterministic classical logic at the base of mathematics, at least without adding a whole bunch of new structures on top (I saw a physics meme in your post history, you probably know more than me lol) but I think people have also been cooking up “quantum” logics to deal with this too right? I guess that makes me some kind of intuitionist or something idk. Maybe everything I just said in this paragraph is wildly wrong (except this sentence ofc :3)Ofc contradiction in the dialectical sense isn’t synonymous with contradiction in the traditional logical sense but I think they’re closer than it seems at first glance. Like it’s not that 2 contradictory terms, like the bourgeoisie and the proletariat can’t exist in the same universe at a given moment, but that the whole system eventually tends toward non-contradiction at some point in the future via some method which destroys the existence of one of the contradictory terms (or both if Marx’s “common ruin of the contending classes” nightmare becomes true) like Mao Zedong’s concept of the resolution of an “antagonistic” contradiction. This is obviously incompatible with the law of non-contradiction in some way but we also don’t want to drop the concept of consistency entirely cuz it’s useful to prevent the whole system from exploding entirely. Idk, there are lots of possible approaches to the problem and Soviet and Chinese philosophers were/are thinking about it not only cuz of its ideological aspects but cuz it maybe has the possibility of being more expressive
Anyway, that was kind of a long tangent but I feel like I need to get out into text why I think classical first-order logic is the wrong formalism for Lojban:
The 2 connected bridi “la baljamna remoi cu se krinu le du’u le zu’adbo cu damba vo’a soi vo’a .ijo la lunra ca’a se marji le crino cirla” (World War 2 was caused by leftist infighting if, and only if, the moon is made of green cheese)
and
, for a more contrived example, the bridi “le du’u la’o sit. PaX .sit cmene mi ku goi ko’a cu nibli le du’u le du’u la lunra ca’a se marji le crino cirla cu nibli ko’a” (The predication that “my name is PaX” implies that the predication “the moon is made of green cheese” implies the predication that “my name is PaX”)
are true if we read classical formal logic into the vibes :3
Yet if a typical Lojban speaker heard you say either of these things, they would probably say: “na’i go’i” (metalinguistic negation of the last bridi) or in other words: , as in, there is something inappropriate about the entire bridi you just said lol. There is some kind of gap between the logical meaning of those bridi and what we really mean by those bridi (if we take the meanings of words I used as granted ofc). And most speakers, when they use these explicitly logical connectives, read the meanings of natural language connectives into them. Or basically, like there has to be an actual relationship between the antecedents and consequents in order for the speaker to judge the logical relationship as true. And ofc people have had an issue with this aspect of classical logic for a long time
The bridi (sorry, this is just very funny to me, idk why lol) “le gerku cu na me la’o gy. woke gy.” (The dog is not woke) is interesting cuz all this bridi does is deny that a relationship, orrrr I guess a preposition really, exists. Or in other words, defined informally ofc, the dog not being woke doesn’t ONLY imply that the dog is based (assume reactionary definition of “based” where not woke = based).
If you want to say that, you would state the bridi “le gerku cu to’e me la’o gy. woke gy.” (The dog is the polar opposite of woke). If you want to say explicitly that the dog is something other than woke or based you would say “le gerku cu na’e me la’o gy. woke gy.”
Is interesting to me cuz the Lojban negation qualifiers seem to have meanings that would contradict the law of the excluded middle
There is a lot of other stuff like tenses or attitudinals (emotional indicators) or abstractors which would also seem to be incompatible with a classical formal definition or sometimes even any formal definition tbh
Like when I said the dog was woke or not woke like that, it might have have been more appropriate to say something like "le gerku cu ckaji le ka ce’u me la’o gy. woke gy. (The dog has the quality of wokeness) depending on what that word actually means ofc lol cuz “me” as a selbri (predicate word) really means “x1 is one of the referents of [sumti]” which when combined with “la’o” which means “the referent of” essentially means “x1 is one of the referents of the referent of the word ‘woke’” or, finally, “The dog is one of the woke ones”.
“Ka” is what Lojban calls an “abstractor” but I guess it’s also an attempt at something like an intensional logic to address the difference between “creature with a heart” and “creature with a kidney” (this example is from Two Dogmas) where they agree extensionally as in the sets or classes of things that satisfy the predicates “x1 has the body part of heart” and “x1 has the body part of kidney” may be the same thing (animals that have kidneys also have hearts) but their meaning is different. So, really, I’m saying something like “the dog or set of dogs I’m thinking of is a term that can satisfy the predicate ‘x1 is woke’”
I guess I’m trying to figure out what I even want here. Or what is even possible. One thing I want to avoid is a massive (to me) gap between colloquial Lojban and a formal Lojban. Lojban is already a language where you can convey logic, but no one actually wants to convey logic when they’re speaking cuz it’s wordy and counterintuitive to our natural reasoning lol.