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.
Actually, if your hypothetical four-place word is the nearest equivalent, wouldn't it be technically true to say that one can't, or at least can't simply, describe something as having-the-innate-quality-of-goodness in Lo* at all? That's how I understood it to work, and it was one of the things I liked about the language when I was studying it.
Of course, people who have the idea that goodness can be an innate quality will try to use it that way anyway, regardless of correctness. How does the Lojban community handle that kind of thing?
And since I'm asking, is it possible to describe something as having-the-innate-quality-of-goodness (as opposed to having the innate quality of tending to be better for most uses than most other things) in Lojban? How?
In effect, yes. The four argument-places of "gudbi" are always there. You never have to fill in any of them, but leaving a place syntactically empty means not that there is nothing there semantically, but... (read more)