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.
It still seems to me that correct answers to the big problems do require a rigid logical map, and the fact that our brain does not operate on strict logic is besides the point. It may be completely impossible for humans to create/learn/use in practice such a language, and if so perhaps we are actually doomed, but I'd like to fork that into a separate discussion. And as I posted in a response to Vladimir, if it helps clarify my question, I don't propose a widely-used language, only a highly specialized one created to work on FAI, and/or dissolving "philosophical" issues, essentially.
I'd love to see a more detailed analysis of your position; as I implied earlier, your bullet points don't seem to address my central question, unless I'm just not making the right connections. It sounds like you've discussed this with others in the past, any conversations you could link me to, perhaps?
I may have read too much into the first and second sentences of your post - I felt that you were suggesting that the only way for us to achieve sufficient rationality to work on FAI or solve important problems would be to start using Lojban (or similar) all the time.
So my response to using a language purely for working on FAI is much the same as Vladimir's - sounds like you're talking more about a set of conventions like predicate logic or maths notation than a language per se. Saddling it with the 'language' label is going to lead to lots of excess baggag... (read more)