Rationality requires intelligence, and the kind of intelligence that we use (for communication, progress, FAI, etc.) runs on language.
It seems that the place we should start is optimizing language for intelligence and rationality. One of SIAI's proposals includes using Lojban to interface between humans and an FAI. And of course, I should hope the programming language used to build a FAI would be "rational". But it would seem to me that the human-generated priors, correct epistemic rationality, decision theory, metaethics, etc. all depend on using a language that sufficiently rigorously maps to our territory.
Are "naturally evolved" languages such as English sufficient, with EY-style taboos and neologisms? Or are they sick to the core?
Please forgive and point me towards previous discussion or sequences about this topic.
If you build an artificial word language, you could make it in such a way that it would drive its own evolution in a useful way. A few examples:
I don't understand how you could dismiss it out of hand that you could build a language that wouldn't lose its superior qualities. There are a ton of different ways to make the engine defend itself in that regard. People mess with the English sound system only to make it flow better, and there's no reason why you couldn't just make an artificial language which already flows well enough.
Also, I'm not gonna try to convert the masses to my artificial language. In normal life, we spend a lot of our time using English to try to do something other than get the other person to think the same thought. We try to impress people, we try to get people to get us a glass of water, etc. I'm not interested in building a language for that kind of communication. All I'm interested in is building a language for what we try to do here on LW: reproduce our thought process in the other person's head.
But what that means is that the "wild" needn't be so wild. If the only people who use the artificial language are 1,000 people like you and me, I don't see why we couldn't retain its superior structure. I don't see why I would take a perfectly good syntax and start messing with it. It would be specialized for one purpose: reproducing one's thoughts in another's head, especially for deep philosophical issues. We would probably use English in a lot of our posts! We would probably use a mix of English and the artificial language.
My response ("how are you so sure of all that stuff") probably wasn't very constructive, so I apologize. Perhaps I should have asked for an example of an artificial language that transformed into an irregular natural one. Since you probably would have mentioned Esperanto, I'll respond to that. Basically, Esperanto was a partially regularized mix and match of a bunch of different natural language components. I have no interest in building a language like that.
Languages like Esperanto are still in the "natural language paradigm"; they're basically just like idealized natural languages. But I have a different idea. If I build an artificial word language, its syntax won't resemble any natural language that you've seen. At least not in that way. Actually, it would probably be more to the point to simply say that Esperanto was built for a much different reason. It's a mix and match of a bunch of natural language components, and people use it like they use a natural language. It's not surprising that it lost some of its regularity.
I'm getting pretty messy in this post, but I simply don't have a concise response to this topic. Everywhere I go, people seem to have that same idea about artificial language. They say that we're built for natural language, and either artificial language is impossible, or it would transform into natural language. I really just don't know where people get that idea. How could we conceive of and build an artificial language, but at the same time be incapable of using it? That seems like a totally bizarre idea. Maybe I don't understand it or something.
If you plan to construct a language akin to programming languages or mathematical formulas, i.e. one that is fully specified by a formal grammar and requires slow and painstaking effort for humans to write or decode, then yes, clearly you can freeze it as an unchangeable standard. (Though of course, devising such a language that is capable of expressing something more general is a Herculean task, which I frankly don't consider feasible given the present state of knowledge.)
On the other hand, if you're constructing a language that will be spoken by humans ... (read more)