About 25 years ago I read Isaac Asimov’s Foundation. For whatever reason, one of the things that impressed me the most was the passage in which Asimov portrays the power of (automatic?) mathematical analysis to discover the real meaning of some text (1): "There is a branch of human knowledge known as symbolic logic, which can be used to prune away all sorts of clogging deadwood that clutters up human language.