Hello, rvw. I'd like to add just a few words.
I remember reading in Gamut1991 roughly such an exciting passage:
G.W. Leibniz (1646-1716) had proposed a program for logic and developed ideas of a universal language, in which thought could be represented directly, without any of the ambiguities....