Representing language using logic has been an ambition for nearly a century now. Around a hundred years ago, polymaths like Bertrand Russell were furiously fighting to capture the nuances of language with a view to developing a universal formal language. This turned out to be a mammoth and ongoing academic pursuit that characterised the early…
