Leibniz's dream and the search for a universal language of thoughts
I was thinking of starting to write about how Geometry and Logic ended up with a radical revolution in Math and the birth of Computer Science.
It is fascinating how those two different fields helped us to discover the same problem.
Let's do a standalone piece on the zairja! I've learned (and written) a ton about the Antikythera mechanism, but the zairja needs some love.
But "true/false" isn't actually binary, is it? A great trait (and, simultaneously, a great failure) of languages in general is that of the characteristic cultural exclusivities each language (or dialect) serves. Any language derives & determines connotation and denotation, word by word, in its lexicon, and even the same word in the same language can have different meanings in different regions (British & American English, for example).
So what's truth by one language's (and culture's) standard of truth isn't necessarily truth in another's; are either of them accurately reflecting anything objectively? If not, is their truth wrong, if it fits their cultural paradigm of truth? And how many contingencies affect those assigned values?
I do love the idea of a universal language. I believe we actually possess something close to it in our ability to visualize, though that's not the standard sense we're used to using to communicate, it's becoming more popular (image-based help manuals & so on), and already translating to real life through AI, no words necessary: https://www.linkedin.com/posts/customclarity_ai-tech-technology-activity-7127718768717266947-Lg-0?utm_source=share&utm_medium=member_desktop